Login / Signup
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS.
Sam Owre
John M. Rushby
Natarajan Shankar
Friedrich W. von Henke
Published in:
IEEE Trans. Software Eng. (1995)
Keyphrases
</>
formal verification
fault tolerant
fault tolerance
model checking
model checker
bounded model checking
distributed systems
symbolic model checking
automated verification
functional verification
temporal logic
interconnection networks
program slicing
high assurance
state machine
safety critical
agent architecture