Verification of C Programs using Annotations.
Sriya SLavanya LAditi M. ManoharN. S. KumarPublished in: T4E (2019)
Keyphrases
- symbolic execution
- hardware designs
- model checking
- computer programs
- artificial intelligence
- annotation tool
- semantic annotation
- signature verification
- java bytecode
- automatic programming
- intermediate level
- image annotation
- formal analysis
- data mining
- formal verification
- formal methods
- asynchronous circuits
- verification method
- ground truth
- query language
- database systems
- web pages
- inter annotator agreement
- mechanical turk