Formal Verification of a Transactional Interaction Contract.
German ShegalovGerhard WeikumPublished in: SERVICES I (2008)
Keyphrases
- formal verification
- model checking
- symbolic model checking
- automated verification
- model checker
- bounded model checking
- user interaction
- program slicing
- fault tolerant
- formal specification
- human computer interaction
- temporal logic
- artificial intelligence
- mathematical morphology
- orders of magnitude
- supply chain
- database systems
- knowledge base