Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies.
Lydie du BousquetYves LedruOlivier MauryCatherine OriatJean-Louis LanetPublished in: J. Autom. Reason. (2010)
Keyphrases
- formal verification
- case study
- model checking
- symbolic execution
- formal methods
- test generation
- specification language
- lessons learned
- asynchronous circuits
- open source
- test cases
- test case generation
- protocol specification
- test set
- learning objects
- high level
- knowledge management
- information retrieval
- real time
- design process
- functional verification
- neural network
- detailed descriptions
- real world
- verification method
- provably correct
- learning algorithm
- e learning
- signature verification
- multi agent systems
- formal specification
- programming language