Computer Aided Verification

• 1 January 1993
• book
• Published by Springer Nature
• https://doi.org/10.1007/3-540-56922-7

Abstract

Keywords

• ADDITION
• AUTOMATIC VERIFICATION
• BOOLEAN FUNCTION
• ECHTZEIT-SYSTEME
• EQUIVALENCE
• HARDWARE
• MODEL CHECKING
• PROCESS ALGEBRAS
• PROZESSALGEBREN
• REAL-TIME SYSTEMS
• ALGORITHMS
• AUTOMATA
• CALCULUS
• FORMAL VERIFICATION
• VERIFICATION