An Eclipse Plug-in for the Java PathFinder Runtime Verification System.
Francesca Arcelli FontanaClaudia RaibuletIvano RigoLuigi UbezioPublished in: SEW (2006)
Keyphrases
- source code
- open source
- byte code
- model checking
- programming language
- lightweight
- java programs
- software systems
- open source software
- face verification
- development environments
- formal verification
- database applications
- cross platform
- java bytecode
- verification method
- object oriented
- functional verification
- asynchronous circuits
- static analysis
- software projects
- java card
- distributed object
- formal methods
- java language
- runtime environment
- case study
- test driven development