Applying formal methods to gossiping networks with mCRL and groove.
Pepijn CrouzenJaco van de PolArend RensinkPublished in: SIGMETRICS Perform. Evaluation Rev. (2008)
Keyphrases
- formal methods
- knowledge based systems
- formal analysis
- safety critical
- formal specification
- artificial intelligence
- model checker
- model checking
- software engineering
- process algebra
- provably correct
- modeling language
- temporal properties
- computer networks
- fine grained
- machine learning
- reactive systems
- formal specification language