Towards the Formal Verification of a Java Processor in Event-B.
Neil EvansNeil GrantPublished in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
- formal verification
- functional verification
- model checking
- bounded model checking
- automated verification
- model checker
- event detection
- symbolic model checking
- high speed
- open source
- lightweight
- object oriented
- multithreading
- programming language
- program slicing
- source code
- temporal logic
- formal specification
- java virtual machine
- news articles
- database applications
- web applications