Themes
- Computer-aided verification, symbolic state-space exploration, infinite-state systems,
- Symbolic data-structures, automata-based representations of integer and real vectors, mixed integer and real arithmetic.
Publications
- List of publications from the ULg repository.
Software
- The Liège Automata-based Symbolic Handler (LASH) is a toolset for representing infinite sets and exploring infinite state spaces. Its beta version can be downloaded from the LASH page.