A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java.
Gary T. LeavensJoseph R. KiniryErik PollPublished in: CAV (2007)
Keyphrases
- formal verification
- programming language
- functional verification
- formal methods
- high level
- model checking
- asynchronous circuits
- colored petri nets
- specification language
- behavior patterns
- lightweight
- web services
- modular neural networks
- byte code
- java card
- object oriented
- open source
- face verification
- development environment
- petri net
- software development
- protocol specification