activity
20112025
most citedCombining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking

5 citations · 5 across the 4 of their papers we have counts for

collaborators
Showing cs.FLShow all

2 papers · 1 filter

cs.FL2025

Simplifying LTL Model Checking Given Prior Knowledge

Alexandre Duret-Lutz, Denis Poitrenaud, Yann Thierry-Mieg

We consider the problem of the verification of an LTL specification on a system given some prior knowledge , an LTL formula that is known to satisfy. The automata-th…

cs.FL2022

Structural Reductions and Stutter Sensitive Properties

Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault +1

Verification of properties expressed as -regular languages such as LTL can benefit hugely from stutter insensitivity, using a diverse set of reduction strategies. However proper…