research
∙
05/06/2022
Regular Model Checking Upside-Down: An Invariant-Based Approach
Regular model checking is a well-established technique for the verificat...
share
research
∙
08/20/2021
Abduction of trap invariants in parameterized systems
In a previous paper we have presented a CEGAR approach for the verificat...
research
∙
03/18/2021
Computing Parameterized Invariants of Parameterized Petri Nets
A fundamental advantage of Petri net models is the possibility to automa...
research
∙
02/18/2020
Structural Invariants for the Verification of Systems with Parameterized Architectures
We consider parameterized concurrent systems consisting of a finite but ...
research
∙
03/18/2019