48 citations
- Centre National de la Recherche ScientifiqueFR1 paper
- École Normale Supérieure Paris-SaclayFR1 paper
- Institute of Information SecurityJP1 paper
- Institut national de recherche en sciences et technologies du numériqueFR1 paper
- National Institute of Advanced Industrial Science and TechnologyJP1 paper
- University of WarwickGB1 paper
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2009★ 48 cited
Forward analysis for WSTS, Part I: Completions
Alain Finkel, Jean Goubault-Larrecq
Well-structured transition systems provide the right foundation to compute a finite basis of the set of predecessors of the upward closure of a state. The dual problem, to compute…
cs.LO2006★ 41 cited
On the freeze quantifier in Constraint LTL: decidability and complexity
Stéphane Demri, Ranko Lazic, David Nowak
Constraint LTL, a generalisation of LTL over Presburger constraints, is often used as a formal language to specify the behavior of operational models with constraints. The freeze q…