Searching for authors named "Gerhard Schellhorn" – sorted by Relevance.
43 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
