Specifying and verifying systems with TLA+.
Leslie LamportJohn MatthewsMark R. TuttleYuan YuPublished in: ACM SIGOPS European Workshop (2002)
Keyphrases
- distributed systems
- database
- computer systems
- intelligent systems
- control system
- systems require
- temporal logic
- model checking
- retrieval systems
- learning systems
- mobile robot
- multiresolution
- evolutionary algorithm
- artificial neural networks
- information technology
- digital libraries
- learning environment
- case study
- social networks
- genetic algorithm