PDF Document

Source URL: www.inf.ed.ac.uk

• Formal methods
• Theoretical computer science
• Petri nets
• Computer science
• TAPAAL Model Checker
• ExSpecT
• Models of computation
• Diagrams
• Concurrency