Logic programming and partial deduction for the verification of reactive systems: An experimental evaluation

Technical Report PDF: 
Technical Report Number: 
2002.6
TitleLogic programming and partial deduction for the verification of reactive systems: An experimental evaluation
Publication TypeJournal Article
Year of Publication2002
AuthorsLeuschel, M, Massart T
URLhttp://eprints.ecs.soton.ac.uk/7666/1/Avocs2002.pdf