Formal analysis is essential for cost-effective, highly reliable software-controlled systems
The FSA group studies the foundations of software-controlled systems and develops languages and techniques for modelling and analyzing real-world, industrial-scale applications. Expertise in the group includes process algebras for reasoning about concurrent, timed and probabilistic system behavior, SAT- and SMT-solvers, rewriting, and model checking technology. Research focusses on scalability of the technology, which is required for its use in the development of software controlled-systems. The group offers courses in Logic, Formal Methods, Model Checking, Micro-processor Verification, and Automated Reasoning.
Read moreMeet some of our Researchers
Recent Publications
Our most recent peer reviewed publications
-
Fair Mutual Exclusion for N Processes
(2024) -
Extensible Proof Systems for Infinite-State Systems
ACM Transactions on Computational Logic (2024) -
Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics
Electronic Proceedings in Theoretical Computer Science, EPTCS (2023) -
A Cancellation Law for Probabilistic Processes
Electronic Proceedings in Theoretical Computer Science, EPTCS (2023) -
Process-Algebraic Models of Multi-Writer Multi-Reader Non-Atomic Registers
(2023)
Contact
-
Visiting address
MetaforumGroene Loper 55612 AP EindhovenNetherlands -
Visiting address
MetaforumGroene Loper 55612 AP EindhovenNetherlands -
Postal address
Department of Mathematics and Computer ScienceP.O. Box 5135600 MB EindhovenNetherlands -
Postal address
Department of Mathematics and Computer ScienceP.O. Box 5135600 MB EindhovenNetherlands -
Secretarym.mommers@ tue.nl