Tutorial on Formal Methods for Distributed and Cooperative Systems.
Christine ChoppySerge HaddadHanna KlaudelFabrice KordonLaure PetrucciYann Thierry-MiegPublished in: ICTAC (2006)
Keyphrases
- formal methods
- cooperative
- safety critical
- distributed systems
- knowledge based systems
- formal analysis
- model checking
- multi agent
- artificial intelligence
- provably correct
- formal specification
- information systems
- fully distributed
- building blocks
- software engineering
- expert systems
- reactive systems
- multi agent systems
- distributed object