Computer Aided Verification

• 1 January 1997
• book
• Published by Springer Nature
• https://doi.org/10.1007/3-540-63166-6

Abstract

Keywords

• HARDWARE
• ALGORITHM
• ALGORITHMS
• COMPUTER
• FORMAL METHOD
• HARDWARE VERIFICATION
• TOOLS
• VERIFICATION