Using PVS for an Assertional Verification of the RPC-Memory Specification Problem.
Jozef HoomanPublished in: Formal Systems Specification (1994)
Keyphrases
- formal verification
- model checking
- asynchronous circuits
- memory requirements
- temporal logic
- protocol specification
- functional verification
- memory usage
- neural network
- memory size
- computing power
- formal specification
- computational power
- formal methods
- limited memory
- main memory
- high level
- theorem proving
- associative memory
- low memory
- knowledge base
- databases