Software

• SaToSS home
• Members
• Courses
• Activities
• CfP's
• Vacancies
• Software
• Research projects
• Student projects
• Publications
• Seminar
• Contact

Software maintained by the SaToSS group:

• The LaTeX message sequence chart (MSC) package is a LaTeX2e package to draw MSC diagrams.
• Implementation of "Improving Automatic Verification of Protocols with XOR"