Tool support for system specification, development, and verification. Proceedings of the international workshop, Malente, Germany, June 1--4, 1998 (Q4252883)

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]