default search action

combined dblp search
author search
venue search
publication search

ask others

3rd Tool Support for System Specification, Development and Verification 1998: Malente, Germany

> Home > Conferences and Workshops > Tool Support for System Specification, Development and Verification

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/tssdv/1998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tssdv/1998
Rudolf Berghammer, Yassine Lakhnech:
Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998. Advances in computing science, Springer 1999, ISBN 978-3-211-83282-0
- view
  authority control:
- export record
  dblp key:
  - conf/tssdv/BerghammerLR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tssdv/BerghammerLR98
Rudolf Berghammer, Yassine Lakhnech, Wolfgang Reif:
Formal Methods and Tools: Introduction and Overview. 1-17
- view
  authority control:
- export record
  dblp key:
  - conf/tssdv/0001S98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tssdv/0001S98
Peter Baumgartner, Dorothea Schäfer:
Model Elimination with Simplification and its Application to Software Verification. 18-32
- view
  authority control:
- export record
  dblp key:
  - conf/tssdv/0003BHLS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tssdv/0003BHLS98
Ralf Behnke, Rudolf Berghammer, Thorsten Hoffmann, Barbara Leoniuk, Peter Schneider:
Applications of the Rel View System. 33-47
- view
  authority control:
- export record
  dblp key:
  - conf/tssdv/BousquetOPRZ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tssdv/BousquetOPRZ98
Lydie du Bousquet, Farid Ouabdesselam, Ioannis Parissis, Jean-Luc Richier, Nicolas Zuanon:
Lutess: a testing environment for synchronous software. 48-61
- view
  authority control:
- export record
  dblp key:
  - conf/tssdv/Buth98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tssdv/Buth98
Bettina Buth:
PAMELA+PVS Verification of Sequential Programs. 62-76
- view
  authority control:
- export record
  dblp key:
  - conf/tssdv/ContiniSWCC98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tssdv/ContiniSWCC98
Sergio Contini, Stefan Scheer, Marc Wilikens, G. de Cola, G. G. M. Cojazzi:
ASTRA: An Integrated Tool Set for Complex Systems Dependability Studies. 77-91
- view
  authority control:
- export record
  dblp key:
  - conf/tssdv/FuhrmannH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tssdv/FuhrmannH98
Kay Fuhrmann, Jan Hiemer:
Formal Verification of Statemate-Statecharts. 92-107
- view
  authority control:
- export record
  dblp key:
  - conf/tssdv/GoerigkGZ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tssdv/GoerigkGZ98
Wolfgang Goerigk, Thilo Gaul, Wolf Zimmermann:
Correct Programs without Proof? On Checker-Based Program Verification. 108-122
- view
  authority control:
- export record
  dblp key:
  - conf/tssdv/HolenderskiP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tssdv/HolenderskiP98
Leszek Holenderski, Axel Poigné:
Synchronie Workbench. 123-135
- view
  authority control:
- export record
  dblp key:
  - conf/tssdv/Kahl98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tssdv/Kahl98
Wolfram Kahl:
The Term Graph Programming System HOPS. 136-149
- view
  authority control:
- export record
  dblp key:
  - conf/tssdv/LangeL0T98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tssdv/LangeL0T98
Martin Lange, Martin Leucker, Thomas Noll, Stephan Tobies:
Truth - A verification platform for concurrent systems. 150-159
- view
  authority control:
- export record
  dblp key:
  - conf/tssdv/LuthK0WW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tssdv/LuthK0WW98
Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff:
Tool Integration in the UniForM-Workbench. 160-173
- view
  authority control:
- export record
  dblp key:
  - conf/tssdv/MannaBBCFPSU98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tssdv/MannaBBCFPSU98
Zohar Manna, Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Mark C. Pichora, Henny B. Sipma, Tomás E. Uribe:
An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems. 174-188
- view
  authority control:
- export record
  dblp key:
  - conf/tssdv/PfabROH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tssdv/PfabROH98
Stephan Pfab, Harald Rueß, Sam Owre, Friedrich W. von Henke:
Towards Light-Weight Verification and Heavy-Weight Testing. 189-200
- view
  authority control:
- export record
  dblp key:
  - conf/tssdv/Plath098
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tssdv/Plath098
Malte Plath, Mark Ryan:
SFI: a Feature Integration Tool. 201-216
- view
  authority control:
- export record
  dblp key:
  - conf/tssdv/Rock0W98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tssdv/Rock0W98
Georg Rock, Werner Stephan, Andreas Wolpers:
Modular reasoning about structured TLA specifications. 217-229

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.