Verification of Programs on Truly Nested Datatypes in Intensional Type Theory.
Ralph MatthesPublished in: MSFP@MPC (2006)
Keyphrases
- data types
- type checking
- formal methods
- data structure
- formal theory
- computational model
- theoretical framework
- model checking
- symbolic execution
- belief functions
- user defined
- higher order
- databases
- theoretical foundation
- distance measure
- formal verification
- cryptographic protocols
- data model
- asynchronous circuits
- database systems
- machine learning