Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
- S. Owre, J. Rushby, N. Shankar, F. V. Henke
- Computer Science
- IEEE Trans. Software Eng.
- 1 February 1995
TLDR
ANNA A Language for Annotating Ada Programs
- D. Luckham, F. V. Henke, B. Krieg-Brückner, Olaf Owe
- Computer Science
- Lecture Notes in Computer Science
- 1 July 1984
TLDR
Formal Verification of Algorithms for Critical Systems
- J. Rushby, F. V. Henke
- Computer Science
- IEEE Trans. Software Eng.
- 1993
TLDR
An Overview of Anna, a Specification Language for Ada
- D. Luckham, F. V. Henke
- Computer Science
- IEEE Software
- 1 March 1985
TLDR
Pvs: a Prototype Veriication System
- F. V. Henke, D. Cyrluk, +4 authors J. Guttag
- 1992
5] John Rushby. F ormal speciication and veriication of a fault-masking and transient-recovery model for digital ight-control systems. In Vytopil 10], pages 237{257. 6] John Rushby a n d F riedrich v… Expand
- 134
- 4
- PDF
Real-World Reasoning with OWL
- Timo Weithöner, T. Liebig, M. Luther, S. Böhm, F. V. Henke, Olaf Noppens
- Computer Science
- ESWC
- 3 June 2007
TLDR
Formal verification of algorithms for critical systems
- J. Rushby, F. V. Henke
- Computer Science
- 1 November 1991
TLDR
Rigorous development of a safety-critical system based on coordinated atomic actions
- J. Xu, B. Randell, +4 authors F. V. Henke
- Engineering, Computer Science
- Digest of Papers. Twenty-Ninth Annual…
- 15 June 1999
TLDR
A Completely Verified Realistic Bootstrap Compiler
- A. Dold, F. V. Henke, W. Goerigk
- Computer Science
- Int. J. Found. Comput. Sci.
- 1 August 2003
TLDR
A Mechanically Verified Compiling Specification for a Realistic Compiler ∗
- A. Dold, F. V. Henke, V. Vialard, Abt
- 2002
We report on a large formal verification effort in mechanically proving correct a compiling specification for a realistic bootstrap compiler from ComLisp (a subset of ANSI Common Lisp sufficiently… Expand
- 8
- 2
- PDF