Proving False in Object-Oriented Verification Programs by Exploiting Non-Termination.
Jaymon FurnissPublished in: CoRR (2022)
Keyphrases
- object oriented
- object oriented languages
- term rewrite systems
- symbolic execution
- programming language
- hardware designs
- programming interface
- database applications
- database schema
- computer programs
- data model
- object oriented databases
- relational databases
- model checking
- object oriented programming
- database design
- data warehousing
- programming environment
- test generation
- automatic programming
- software engineering
- asynchronous circuits
- query language
- java bytecode
- verification method
- industry standard
- formal verification
- object oriented database systems
- data flow