Computer Aided Verification

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

Abstract

Keywords

• AUTOMATIC VERIFICATION
• AUTOMATISCHE VERIFIKATION
• BEWEISPRÜFUNG
• COMPUTER-AIDED DESIGN (CAD)
• CONCURRENT SYSTEMS
• MODEL CHECKING
• MODELLPRÜFUNG
• NEBENLÄUFIGE SYSTEME
• PROOF CHECKING
• ALGORITHM
• ALGORITHMS
• DISTRIBUTED SYSTEMS
• LOGIC
• MICROPROCESSOR
• REAL-TIME