Presentation of the 9th Edition of the Model Checking Contest
Open Access
- 4 April 2019
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 36 references indexed in Scilit:
- Developing UPPAAL over 15 yearsSoftware: Practice and Experience, 2011
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model CheckingLecture Notes in Computer Science, 2011
- Symbolic CTL Model Checking of Asynchronous Systems Using Constrained SaturationLecture Notes in Computer Science, 2009
- Counting Integer Points in Parametric Polytopes Using Barvinok's Rational FunctionsAlgorithmica, 2007
- Transformations and decompositions of netsPublished by Springer Science and Business Media LLC ,2006
- Hierarchical Decision Diagrams to Exploit Model StructureLecture Notes in Computer Science, 2005
- Effective lattice point counting in rational convex polytopesJournal of Symbolic Computation, 2004
- The tool TINA – Construction of abstract state spaces for petri nets and time petri netsInternational Journal of Production Research, 2004
- Implicit GSPN reachability set generation using decision diagramsPerformance Evaluation, 2004
- Saturation UnboundLecture Notes in Computer Science, 2003