Posts
VVML - Specifying Workflows for Verification & Validation Methods
Lecture given in a Summer School on V&V - https://valu3s.eu/summer-school-2023/
Lince - programming with differential equations (video)
Talk given online in the seminars GAG, organised by the CIDMA group of the University of Aveiro, Portugal.
Introduction to Model Checking (video)
Video of an introductory session on what is Model Checking given in a training session for the VALU3S project.
Programs for the physical world -- describing vehicles and fireflies
Joint work between HasLAB/INESC TEC and CISTER/ISEP, to develop a programming language with differential equations.
Formal Software on ArcaTools
Set of online formal analysis tools (http://arcatools.org) developed together with Arca members, within the DaVinci and KLEE projects.
