Specification and Proof Techniques for Serializers.
Carl HewittRussell R. AtkinsonPublished in: IEEE Trans. Software Eng. (1979)
Keyphrases
- provably correct
- high level
- formal specification
- database systems
- specification language
- computer vision
- conceptual model
- theorem prover
- information retrieval
- formal methods
- theorem proving
- automated theorem proving
- reactive systems
- linear logic
- asynchronous circuits
- operational semantics
- formal verification
- software engineering
- learning environment
- e learning
- genetic algorithm