Verification of programs with half-duplex communication.
Gérard CécéAlain FinkelPublished in: Inf. Comput. (2005)
Keyphrases
- communication systems
- model checking
- hardware designs
- symbolic execution
- communication networks
- artificial intelligence
- resource constrained
- information sharing
- verification method
- data acquisition
- petri net
- communication channels
- database systems
- fixpoint
- formal verification
- instant messaging
- human computer
- communication protocol
- communication protocols
- case study
- information retrieval