Formal Specification
Executable models that make protocol and system behavior precise enough to inspect.
Verification methods for systems under uncertainty.
A Polytechnique Montréal research group building formal and runtime methods for specifications, autonomous systems, and requirements analysis.
Affiliated with
Research areas
Autonomous Systems
Formal models for autonomous behavior before those systems meet the world.
Requirements Analysis
Turning normative and natural-language requirements into things we can reason about.
Selected publications
All publications →2025
2024
2023
2018
TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation
TACAS 2018 Conference
Work with us
We welcome prospective students, collaborators, and seminar speakers working on verification, robotics, AI, and cyber-physical systems.