Babylon: An Integrated Tool for the Specification and Verification of Parametrized Systems

Technical Report PDF: 
Technical Report Number: 
2002.13
TitleBabylon: An Integrated Tool for the Specification and Verification of Parametrized Systems
Publication TypeConference Paper
Year of Publication2002
AuthorsAmmirati, P, Delzanno G, Ganty P, Geeraerts G, Raskin J-F, Van Begin L
Conference NameProceedings of {S}{A}{V}{E}, 2nd workshop on {S}pecification, {A}nalysis and {V}alidation for {E}merging technologies, Copenhagen, Denmark