An Object-Oriented Framework for the Formal Verification of Processors
No abstract available.
DOI 10.1007/3-540-49538-x_11
Related papers
- Making Concurrent Hardware Verification Sequential PLDI 2025
- Object-Oriented Architectural Support for a Java Processor ECOOP 1998
- Mop: an efficient and generic runtime verification framework OOPSLA 2007
- A Formalism for Real-Time Concurrent Object-Oriented Computing OOPSLA 1992
- Using Objects To Design and Build Radar ESM Systems OOPSLA 1987
- Reasoning about Object-Oriented Programs that Use Subtypes OOPSLA 1990
- A metaprogramming framework for formal verification ICFP 2017
- Formal Verification of Pipelined Processors TACAS 1998