Keyword:infinite-state systems

Publications
Tight Complexity for Modal Extensions of Lec with K, 4, T Wouter Leferink and Revantha Ramanayake In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Acceleration For Presburger Petri Nets Jerome Leroux In:VPT 2013. First International Workshop on Verification and Program Transformation
Finite countermodels as invariants. A case study in verification of parameterized mutual exclusion protocol Alexei Lisitsa In:WING 2010. Workshop on Invariant Generation 2010