The INFINI axis focuses on verifying infinite systems: programs that manipulate unbounded values, recursive communicating processes, parametrized systems. In this context, our purpose is to identify classes of models and properties for which automated verification is possible.
Permanent Members | ||
| Laurent Doyen Researcher, CNRS | Sylvain Schmitz Assistant professor, ENS Cachan | |
| Alain Finkel Professor, ENS Cachan | Philippe Schnoebelen Senior researcher, CNRS | |
Associated and Temporary Members | ||
| Étienne Lozes Assistant professor, ENS Cachan | Mahsa Shirmohammadi PhD student, ULB | |
Ph.D. Students | ||
| Rémi Bonnet PhD student, ENS Cachan | Julien Reichert PhD student, ENS Cachan | |
| • | . The covering and boundedness problems for branching vector addition systems. Journal of Computer and System Sciences, 2012. To appear. ( PDF | BibTeX ) |
| • | . Cutting Through Regular Post Embedding Problems. In CSR'12, LNCS. Springer, 2012. To appear. ( PDF | PDF (long version) | BibTeX ) |
| • | . Games and Automata: From Boolean to Quantitative Verification. Mémoire d'habilitation, École Normale Supérieure de Cachan, France, 2012. ( PDF | BibTeX ) |
| • | . Lexical Disambiguation in LTAG using Left Context. In LTC'11. 2011. ( Web page | BibTeX ) |
| • | . Forward Analysis for WSTS, Part II: Complete WSTS. Logical Methods in Computer Science, 2012. To appear. ( BibTeX ) |