Formal Methods and Tools

UTFacultiesEEMCSDisciplines & departmentsFormal Methods and ToolsResearchProjects

Projects

The projects in which the FMT research group currently participates are listed below. A list of completed projects is available too.

CAESAR: Integrating Safety and Cybersecurity through Stochastic Model Checking

Domino: domino-effects due to (digital) connectivity in the chemical industry

ChEOPS: verified Construction of corrEct and Optimised Parallel Software

EACSC: Effective Alignment in Computer Science Curricula

FormaSig: Formal methods in railway signalling infrastructure

Mercedes: Maximal Reliability of Concurrent and Distributed Software

MISSION: Models in Space Systems - Integration, Operation, and Networking

Development of methods and tools for AI safety verification

PALLAS: Program Analysis for LLVM-IR and All its Source languages

PrimaVera: Predictive maintenance for Very effective asset management

SAVES: Scalable Verification of Industrial Embedded Control Systems

STORM_SAFE: Software reliability for critical infrastructures

TiCToC: Testing in Times of Continuous Change

Verified Probabilistic Verification

VESPA: Verified, Efficient, and Secure Parallel Algorithms

ZORRO: Engineering for Zero Downtime in Cyber-Physical Systems via Intelligent Diagnostics

Suggestions