Subtypes for Specifications: Predicate Subtyping in PVS.
John M. RushbySam OwreNatarajan ShankarPublished in: IEEE Trans. Software Eng. (1998)
Keyphrases
- formal verification
- bounded model checking
- theorem proving
- first order logic
- model checking
- high level
- timed automata
- delay insensitive
- specification language
- neural network
- formal specification
- written in natural language
- information systems
- concurrent systems
- xml schema
- cancer diagnosis
- theorem prover
- functional requirements
- database
- breast cancer
- data model
- multiscale
- information retrieval
- data sets