Runnable protocol specifications using the logic interpreter SLOG.
N. ChoquetLaurent FribourgA. MauboussinPublished in: PSTV (1985)
Keyphrases
- model checker
- model checking
- delay insensitive
- formal verification
- protocol specification
- asynchronous circuits
- description language
- formal methods
- formal specification
- temporal logic
- bounded model checking
- transition systems
- set theory
- modal logic
- lightweight
- recursive programs
- formal analysis
- state machines
- formal language
- written in natural language
- state machine
- communication protocols
- high level
- predicate logic
- operational semantics
- classical logic
- production system
- tcp ip
- automated reasoning
- multi valued
- concurrent systems
- logic programming
- finite state machines
- test suite
- agent communication language
- network protocols
- specification language
- control program
- security analysis
- cryptographic protocols