Tool support for system specification, development, and verification. Proceedings of the international workshop, Malente, Germany, June 1--4, 1998
The articles of this volume will be reviewed individually. Indexed articles: \textit{Berghammer, R.; Lakhnech, Y.; Reif, W.}, Formal methods and tools: Introduction and overview, 1-17 [Zbl 0979.68508] \textit{Baumgartner, Peter; Schäfer, Dorothea}, Model elimination with simplification and its application to software verification, 18-32 [Zbl 0945.68123] \textit{Behnke, R.; Berghammer, R.; Hoffmann, T.; Leoniuk, B.; Schneider, P.}, Application of the REL VIEW system, 33-47 [Zbl 0944.68165] \textit{du Bousquet, L.; Quabdesselam, F.; Parissis, I.; Richier, J.-L.; Zuanon, N.}, Lutess: A testing environment for synchronous software, 48-61 [Zbl 0945.68124] \textit{Buth, Bettina}, PAMELA + PVS. Verification of sequential programs, 62-76 [Zbl 0979.68551] \textit{Contini, S.; Scheer, S.; Wilikens, M.; de Cola, G.; Cojazzi, G.}, ASTRA: An integrated tool set for complex systems dependability studies, 77-91 [Zbl 0944.68505] \textit{Fuhrmann, Kay; Hiemer, Jan}, Formal verification of STATEMATE-statecharts, 92-107 [Zbl 0979.68509] \textit{Goerigk, Wolfgang; Gaul, Thilo; Zimmermann, Wolf}, Correct programs without proof? On checker-based program verification, 108-122 [Zbl 0979.68550] \textit{Holenderski, L.; Poigné, A.}, Synchronie workbench, 123-135 [Zbl 0944.68506] \textit{Kahl, Wolfram}, The term graph programming system HOPS, 136-149 [Zbl 0979.68510] \textit{Lange, Martin; Leucker, Martin; Noll, Thomas; Tobies, Stephan}, Truth -- a verification platform for concurrent systems, 150-159 [Zbl 0968.68527] \textit{Lüth, C.; Karlsen, E. W.; Kolyang; Westmeier, S.; Wolff, B.}, Tool integration in the UniForM-Workbench, 160-173 [Zbl 0979.68511] \textit{Rock, Georg; Stephan, Werner; Wolpers, Andreas}, Modular reasoning about structured TLA specifications, 217-229 [Zbl 0945.68125]
- Special issue: Tools for system design and verification. FM-TOOLs 2000, 4th workshop, Reisensburg castle, Germany, 2000
- scientific article; zbMATH DE number 4219175
- scientific article; zbMATH DE number 2087637
- scientific article; zbMATH DE number 2011481
- scientific article; zbMATH DE number 4050950
- Special issue: Workshop on tools at VSTTE 2008. Selected papers based on the presentations at the conference on verified software: theories, tools and experiments, Toronto, Canada, October 6--9, 2008
- Formal software development in the Verification Support Environment (VSE)
- Proceedings of the 1st international workshop on harnessing theories for tool support in software (TTSS 2007), Macau, China, September 22--23, 2007
- Proceedings of the 6th international workshop on harnessing theories for tool support in software (TTSS 2013), Nanchang, China, October 27, 2013
This page was built for publication: Tool support for system specification, development, and verification. Proceedings of the international workshop, Malente, Germany, June 1--4, 1998
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4252883)
