Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course.
Søren ChristensenKjeld Høyer MortensenPublished in: ICATPN (1997)
Keyphrases
- distributed systems
- formal methods
- coloured petri nets
- model checking
- formal verification
- gentle introduction
- fault tolerant
- geographically distributed
- load balancing
- operating system
- distributed environment
- artificial intelligence
- database technology
- knowledge based systems
- formal specification
- mobile agents
- microsoft windows
- real time systems
- software engineering
- software architecture
- development lifecycle
- security policies
- distributed database systems
- concurrent systems
- machine learning
- management system
- modeling language
- data mining
- response time