On Formal Verification in Imperative Multivalued Programming over Continuous Data Types.
Norbert Th. MüllerSewon ParkNorbert PreiningMartin ZieglerPublished in: CoRR (2016)
Keyphrases
- data types
- formal verification
- abstract data types
- model checking
- data model
- data structure
- database systems
- user defined
- database management systems
- model checker
- symbolic model checking
- automated verification
- programming language
- bounded model checking
- data mining algorithms
- database server
- management system
- temporal logic
- database objects
- data analysis
- database