Searching for authors named "Gerhard Schellhorn" – sorted by Relevance.
-
Verification of ASM Refinements Using Generalized Forward Simulation
- Verification of ASM Refinements Using Generalized Forward Simulation Gerhard Schellhorn
- Cited by 15 (3 self) – Add To MetaCart
-
ASM refinement and generalizations of forward simulation in data refinement: A comparison. Theoretical Computer Science
- refinement concept. Email address: schellhorn@(email omitted); (Gerhard Schellhorn). Preprint
- Cited by 6 (2 self) – Add To MetaCart
-
Proving Properties of Finite Enumerations: A Problem Set for Automated Theorem Provers
- ? ?? Gerhard Schellhorn and Wolfgang Reif Abt. Programmiermethodik, Universitat Ulm, D-89069 Ulm, Germany
- Cited by 3 (3 self) – Add To MetaCart
-
Reasoning about abstract state machines: The WAM case study
- Reasoning about Abstract State Machines: The WAM Case Study Gerhard Schellhorn (Abt
- Cited by 26 (7 self) – Add To MetaCart
-
The WAM Case Study: Verifying Compiler Correctness For Prolog With KIV
- GERHARD SCHELLHORN AND WOLFGANG AHRENDT THE WAM CASE STUDY: VERIFYING COMPILER CORRECTNESS
- Cited by 12 (7 self) – Add To MetaCart
-
unknown title
- Do you trust your model checker?? Wolfgang Reif1 and J"urgen Ruf2 and Gerhard Schellhorn1
- Add To MetaCart
-
Specification and Verification of Distributed Technical Systems with Central Control
- Specification and Verification of Distributed Technical Systems with Central Control Gerhard
- Add To MetaCart
-
ASMs and refinement of state-based systems
- ASMs and refinement of state-based systems Gerhard Schellhorn Institut für Informatik, Universität
- Add To MetaCart
-
A Modeling Framework for the Development of Provably Secure E-Commerce Applications
- , Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn Institute of Computer Science, University Augsburg
- Add To MetaCart
-
Three Selected Case Studies in Verification
- Three Selected Case Studies in Verification Thomas Fuch, Wolfgang Reif, Gerhard Schellhorn, Kurt
- Add To MetaCart

