Applied Formal Methods - From CSP to Executable Hybrid Specifications.
Jan PeleskaPublished in: 25 Years Communicating Sequential Processes (2004)
Keyphrases
- formal methods
- formal specification
- model checker
- model checking
- artificial intelligence
- process algebra
- constraint satisfaction problems
- formal specification language
- reactive systems
- knowledge based systems
- databases
- specification language
- constraint satisfaction
- development lifecycle
- formal analysis
- constraint programming
- software engineering
- search space
- multi agent
- machine learning
- data mining