Back to University of Twente portal
Projects
The projects in which the FMT research group currently participates are listed below. Lists of upcoming projects and completed projects are available too.
| GRAIL: Graphs for Abstract Interpretation of Languages |
| MCMC: Multi-Core Model Checking |
| MOCA: Modelling Control Aspects of Embedded Systems |
| QUPES: Verifying Quantitative Properties of Embedded Software |
European funding
National funding
| MaDriD: Multicore Decision Diagrams |
| SlaLoM: Security by Logic for Multithreaded applications |
| SYRUP: SYmbolic RedUction of Probabilistic Models |
| VOCHS: Verification of Complex Hierarchical Systems |