Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2.
Patrice ChalinJoseph R. KiniryGary T. LeavensErik PollPublished in: FMCO (2005)
Keyphrases
- formal verification
- formal methods
- asynchronous circuits
- protocol specification
- byte code
- high level
- model checking
- object oriented
- formal specification
- advanced features
- java programs
- database applications
- knowledge base
- advanced transaction models
- java bytecode
- open source
- specification language
- face verification
- user defined
- operating system
- lightweight
- verification method
- tool suite
- web applications
- programming language
- databases