default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd IFM 2000: Dagstuhl Castle, Germany
- Wolfgang Grieskamp, Thomas Santen, Bill Stoddart:
Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings. Lecture Notes in Computer Science 1945, Springer 2000, ISBN 3-540-41196-8
Invited Talk
- C. A. R. Hoare:
Assertions. 1-2
Linking and Extending Notations
- Hubert Baumeister, Alexandre V. Zamulin:
State-Based Extensions of CASL. 3-24 - Anne Elisabeth Haxthausen, Xia Yong:
Linking DC Together with TRSL. 25-44 - Jörg Fischer, Stefan Conrad:
Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes. 45-60 - Michael J. Butler, Carla Ferreira
:
A Process Compensation Language. 61-76 - Christie Bolton, Jim Davies:
Activity Graphs and Processes. 77-96 - Graeme Smith, Ian J. Hayes:
Structuring Real-Time Object-Z Specifications. 97-115 - H. B. M. Jonkers:
ISpec: Towards Practical and Sound Interface Specifications. 116-135
Methodology
- Yamine Aït Ameur:
Cooperation of Formal Methods in an Engineering Based Software Development Process. 136-155 - Luigia Petre, Kaisa Sere:
Developing Control Systems Components. 156-175 - Jeremy W. Bryans, Lynne Blair, Howard Bowman, John Derrick:
Specification and Analysis of Automata-Based Designs. 176-193 - John Derrick, Graeme Smith:
Structural Refinement in Object-Z/CSP. 194-213 - Jürgen Dingel:
Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs. 214-234
Foundation of One Formalism by Another
- Didier Bert, Francis Cave:
Construction of Finite Labelled Transistion Systems from B Abstract Systems. 235-254 - Greg Reeve, Steve Reeves:
mu-Charts and Z: Hows, Whys, and Wherefores. 255-276 - Jonathan P. Bowen:
Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language. 277-296
Invited Talk
- Wolfram Schulte:
Why Doesn't Anyone Use Formal Methods? 297-298
Semantics
- Yifeng Chen:
How to Write a Healthiness Condition. 299-317 - Hanna Klaudel, Franck Pommereau:
A Concurrent and Compositional Petri Net Semantics of Preemption. 318-337
Verification and Validation
- Vlad Rusu, Lydie du Bousquet, Thierry Jéron:
An Approach to Symbolic Test Generation. 338-357 - Eric Meyer, Thomas Santen:
Behavioral Conformance Verification in an Integrated Approach Using UML and B. 358-379 - Dominique Cansell, Dominique Méry, Stephan Merz:
Predicate Diagrams for the Verification of Reactive Systems. 380-397 - Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand:
Modular Verification for a Class of PLTL Properties. 398-419 - Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle:
Towards Model Checking Stochastic Process Algebra. 420-439
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.
last updated on 2024-12-31 21:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
