Stefano Tonetta posted a discussion
The paper "Certifying Proofs for LTL Model Checking" has been accepted for publication in the proceedings of the 18th International Conference on Formal Methods in Computer-Aided Design (FMCAD). The paper will be presented next autumn at the confere…
Aug 22
Stefano Tonetta posted a discussion
The paper "Linear-Time Temporal Logic with Event-Freezing Functions" has been published in the proceedings of the Eighth International Symposium on Games, Automata, Logics, and Formal Verification (GANDALF). The paper will be presented this week at…
Sep 19, 2017
Stefano Tonetta posted a discussion
On December 8 2016, the CITADEL partner FBK will participate in the workshop "Model-Based System and Software Engineering - Future directions", organized by ESA-ESTEC, and will give a pitch presentation on CITADEL to discuss the project objectives.h…
Dec 6, 2016
Stefano Tonetta is now a member of CITADEL
Sep 7, 2016