FM-Trends

Keyphrases

Publications

volume 1641, 1999

Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings FM-Trends 1641 (1999)

1998

Einar W. Karlsen
The UniForM WorkBench - A Higher Order Tool Integration Framework. FM-Trends (1998)
Michael Goldsmith, Irfan Zakiuddin
Critical Systems Validation and Verification with CSP and FDR. FM-Trends (1998)
Alfons Geser, Wolfgang Küchlin
Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip FM-Trends (1998)
Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
VSE: Controlling the Complexity in Formal Software Developments. FM-Trends (1998)
Giuseppe Del Castillo
Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture. FM-Trends (1998)
François Puitg, Jean-François Dufourd
Formal Program Development in Geometric Modeling. FM-Trends (1998)
Frank Koob, Markus Ullmann, Stefan Wittmann
The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process. FM-Trends (1998)
Masahiro Fujita, Sreeranga P. Rajan, Alan J. Hu
Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol. FM-Trends (1998)
Egon Börger
High Level System Design and Analysis Using Abstract State Machines. FM-Trends (1998)
Bernd Krieg-Brückner
UniForM Perspectives for Formal Methods. FM-Trends (1998)
Wolfgang Goerigk, Ulrich Hoffmann
Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct. FM-Trends (1998)
Oscar Slotosch
QUEST: Overview over the Project. FM-Trends (1998)
Kirill Bogdanov, Mike Holcombe, Harbhajan Singh
Automated Test Set Generation for Statecharts. FM-Trends (1998)
Sten Agerholm, Peter Gorm Larsen
A Lightweight Approach to Formal Methods. FM-Trends (1998)
Manfred Broy, Oscar Slotosch
Enriching the Software Development Process by Formal Methods. FM-Trends (1998)
Mark E. Woodcock
The wHOLe System. FM-Trends (1998)
Satoshi Yamane
A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems. FM-Trends (1998)
Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
KIV 3.0 for Provably Correct Systems. FM-Trends (1998)
Meine van der Meulen, Tim Clement
Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier. FM-Trends (1998)
Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert
PVS: An Experience Report. FM-Trends (1998)
Amir Pnueli, Ofer Strichman, Michael Siegel
Translation Validation: From DC+ to C*. FM-Trends (1998)
Robert Büssow, Wolfgang Grieskamp, Winfried Heicking, Stephan Herrmann
An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools. FM-Trends (1998)
Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci
A Symbolic Model Checker for ACTL. FM-Trends (1998)
Sten Agerholm, Peter Gorm Larsen
The IFAD VDM Tools: Lightweight Formal Methods. FM-Trends (1998)
Ora Canada
Z/EVES Version 1.5: An Overview. FM-Trends (1998)
Tiziana Margaria, Volker Gruhn
Flexible and Reliable Process Model Properties: An Integrated Approach. FM-Trends (1998)
Wanderley Lopes de Souza, Paulo Nazareno Maia Sampaio, Jean-Marie Farines, Roberto Milton Scheffel, Maria Janilce B. Almeida, Luciano Paschoal Gaspary, Lisandro Zambenedetti Granville, Roberto Willrich, Murilo S. de Camargo, Marcelo Domingos
Design of Distributed Multimedia Applications (DAMD). FM-Trends (1998)
Philipp W. Kutter, Daniel Schweizer, Lothar Thiele
Integrating Domain Specific Language Design in the Software Life Cycle. FM-Trends (1998)