research
∙
09/06/2022
A first-order logic characterization of safety and co-safety languages
Linear Temporal Logic (LTL) is one of the most popular temporal logics, ...
share
research
∙
09/27/2021
The VMT-LIB Language and Tools
We present VMT-LIB, a language for the representation of verification pr...
research
∙
09/17/2021
Expressiveness of Extended Bounded Response LTL
Extended Bounded Response LTL with Past (LTLEBR+P) is a safety fragment ...
research
∙
09/13/2020
Model-based analysis support for dependable complex systems in CHESS
The challenges related to dependable complex systems are heterogeneous a...
research
∙
08/12/2020
Reactive Synthesis from Extended Bounded Response LTL Specifications
Reactive synthesis is a key technique for the design of correct-by-const...
research
∙
05/05/2020
A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems
Businesses, particularly small and medium-sized enterprises, aiming to s...
research
∙
09/07/2017