Finite State Machine Based Formal Methods in Protocol Conformance Testing: From Theory to Implementation.
Barry S. BosikM. Ümit UyarPublished in: Comput. Networks ISDN Syst. (1991)
Keyphrases
- formal methods
- protocol specification
- finite state machines
- model checking
- model checker
- formal analysis
- formal specification
- formal verification
- development lifecycle
- formal specification language
- temporal logic
- communication protocols
- safety critical
- artificial intelligence
- state machine
- knowledge based systems
- software engineering
- security properties
- finite state automata
- hardware implementation
- functional decomposition
- database
- knowledge representation
- process algebra
- object oriented
- digital circuits
- open source
- matching algorithm
- life cycle
- modeling language