The PEP Tool
Abstract elided by the publisher.
Related papers
- PEP - More than a Petri Net Tool TACAS 1996
- The Reference Component of PEP TACAS 1997
- Real-Time Systems Design with PEP TACAS 2002
- jETI: A Tool for Remote Tool Integration TACAS 2005
- Tool Integration with the Evidential Tool Bus VMCAI 2013
- DrAST: an inspection tool for attributed syntax trees (tool demo) SLE 2016
- CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS TACAS 2001
- The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration TACAS 2001