Model-based Design of Distributed and Mobile Systems

Tools, Notes, etc

Semester: F2004

Mobility Workbench

• Heap-image for Windows (use right-click and Save As...) and the .bat-file
• Heap-image for Linux (use right-click and Save As...) and the shell-script
• Sample input to MWB: agents.ag and buffer.ag

• [Bes98] Fredrick B. Beste. The model prover --- a sequent-calculus based modal mu-calculus model checker tool for finite control pi-calculus agents.
• [Vic94] Bjørn Victor. A Verification Tool for the Polyadic pi-Calculus.
• [Vic95] Bjørn Victor. The Mobility Workbench User's Guide: Polyadic version 3.122.
• [VM94] Bjørn Victor and Faron Moller. The Mobility Workbench --- a tool for the pi-calculus.

Updated 29/01 Thomas Hildebrandt