Component-Based Algebraic Specification and Verification in CafeOBJ.
Razvan DiaconescuKokichi FutatsugiShusaku IidaPublished in: World Congress on Formal Methods (1999)
Keyphrases
- formal verification
- asynchronous circuits
- formal methods
- protocol specification
- model checking
- formal specification
- high level
- information systems
- colored petri nets
- face verification
- databases
- data model
- higher order
- petri net
- real time
- specification language
- artificial intelligence
- real world
- provably correct
- concurrent systems