Static verification of ptolemyrely programs using openJML.
José SánchezGary T. LeavensPublished in: FOAL (2014)
Keyphrases
- hardware designs
- symbolic execution
- model checking
- computer programs
- formal methods
- provably correct
- programming language
- information technology
- face verification
- real time
- programming environment
- formal verification
- dynamic analysis
- java programs
- asynchronous circuits
- control program
- website
- computer vision
- machine learning