- Formalizing Scenarios for Reactive Plans Extended Abstract
- Assumption--Commitment Specifications And Safety--Critical Systems
- Tool Support for the Compositional Development of Distributed Systems
- The VSE development method a way to engineer highassurance software systems
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- MODULAR VERIFICATION OF PROGRAMMABLE LOGIC CONTROLLERS WITH TLA
- Software Certification Management How Can Formal Methods Help?
- Using Rippling for Equational Reasoning Dieter Hutter
- Similarities and Reuse of Proofs Barry Smyth, P adraig Cunningham (Eds.): Advances in Case-Based Reasoning,
- Dynamic Processes Georg Rock \Lambda , Werner Stephan \Lambda , Andreas Wolpers \Lambda
- Synthesis of Induction Orderings for Existence Proofs
- Maintenance of Formal Software Developments by Strati ed Veri cation
- Modular reasoning about structured TLA specifications
- Automatisierung der vollst andigen Induktion Dieter Hutter
- Simultaneous Quantifier Elimination Serge Autexier 1 , Heiko Mantel 2 , and Werner Stephan 2
- Forschungszentrum Intelligenz GmbH
- Transformations FirstOrder Formulae
- On Generating Small Clause Normal Forms Andreas Nonnengart 1 , Georg Rock 2 , and Christoph Weidenbach 1?
- The Graphical User Interface of INKA Dieter Hutter and Claus Sengler
- compute(x) then send(x,in,h1)
- Annotated Reasoning Dieter Hutter
- Managing Structural Information by HigherOrder Colored Unification
- Deductive Verification of Invariants of StateTransition Systems
- Annals of Mathematics and Arti cial Intelligence 0 (2000) ?{? 1 Annotated Reasoning
- Hierarchical Proof Planning Using Abstractions \Lambda Dieter Hutter
- A Pragmatic Approach to Reuse in Tactical In M. P. Bonacina and B. Gramlich (Eds.): Proc. 4th International Workshop on
- Structured Formal Development in VSE II: The Robertino Case Study
- A methodology for equational reasoning Jurgen Cleve Dieter Hutter
- Softwareentwicklung Vorstellung
- Equalizing Terms by Difference Reduction Techniques \Lambda
- Verification Support Environment Dieter Hutter Bruno Langenstein Claus Sengler
- Inhaltsverzeichnis 1 Einleitung 5
- INKA: The Next Generation Dieter Hutter, Claus Sengler
- Possibilistic Information Flow Control in MAKS and Action Refinement
- Towards an Evolutionary Formal Software Development Dieter Hutter and Axel Schairer
- Equational ProofPlanning by Dynamic Abstraction Serge Autexier \Lambda
- Accepted for publication at FLAIRS2000, Orlando, Florida 1 The Use of Formal Methods for Trusted Digital Signature Devices
- A Calculus for Higher Order Procedures with Global Variables
- Towards a Generic Management of Change Dieter Hutter
- Forschungszentrum Intelligenz GmbH
- Annotated Reasoning Paper No. A506
- Deduktionsunterst ModelChecking
- Management of Change in Structured Verification Dieter Hutter
- System Description: inka 5.0 A Logic Voyager Serge Autexier 1 , Dieter Hutter 2 , Heiko Mantel 2 , and Axel Schairer 2
- Information Flow Control to Secure Dynamic Web Service Composition
- Deduction in the Verification Support Environment (VSE)
- Structuring Deduction by Using Abstractions Dieter Hutter
- Formalismen Zustandsorientierte
- The Development Graph Manager Maya Serge Autexier 1 , Dieter Hutter 1 , Till Mossakowski 2 , and Axel Schairer 1
- Formal Software Development in MAYA Serge Autexier and Dieter Hutter ?
- Towards an Evolutionary Formal Software-Development Using CASL
- Colouring Terms to Control Equational Reasoning Dieter Hutter
- Modelling, Specification and Verification of an Emergency Closing System Werner Stephan and Georg Rock and Michael Brodski
- Proof Transformations for Evolutionary Formal Software Development
- Das INKA Handbuch Dieter Hutter und Claus Sengler
- Equalizing Terms by Difference Reduction Dieter Hutter
- A Colored Version of the Calculus Dieter Hutter
- 0000000000000000000 0000000000000000000
- Equalising Terms by Difference Reduction Techniques \Lambda
- VSEInfotage --Teilnehmer 4./5. Dezember 1997, DFKI Saarbr
- VSE: Controlling the Complexity in Formal Software Developments
