265 citations
- Institut national de recherche en sciences et technologies du numériqueFR22 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR10 papers
- Centre National de la Recherche ScientifiqueFR8 papers
- Geometric (India)IN8 papers
- Institut de Mathématiques de BordeauxFR8 papers
- Centre Inria de l'université de BordeauxFR7 papers
- Université de LorraineFR7 papers
- Centre Inria de l'Université de LorraineFR5 papers
- Laboratoire Bordelais de Recherche en InformatiqueFR5 papers
- Graz University of TechnologyAT4 papers
- Nantes UniversitéFR4 papers
- École PolytechniqueFR3 papers
Showing 2021 · cs.LOShow all
3 papers · 2 filters
cs.LO2021
E-Cyclist: Implementation of an Efficient Validation of FOLID Cyclic Induction Reasoning
Sorin Stratulat
Checking the soundness of cyclic induction reasoning for first-order logic with inductive definitions (FOLID) is decidable but the standard checking method is based on an exponenti…
cs.LO2021★ 18 cited
Alethe: Towards a Generic SMT Proof Format (extended abstract)
Hans-Jörg Schurr, Mathias Fleury, Haniel Barbosa +1
The first iteration of the proof format used by the SMT solver veriT was presented ten years ago at the first PxTP workshop. Since then the format has matured. veriT proofs are use…
cs.LO2021★ 16 cited
A Benchmarks Library for Extended Parametric Timed Automata
Étienne André, Dylan Marinho, Jaco van de Pol
Parametric timed automata are a powerful formalism for reasoning on concurrent real-time systems with unknown or uncertain timing constants. In order to test the efficiency of new…