- Omega-Regular Model Checking Bernard Boigelot Axel Legay Pierre Wolper Sun 22 December 2013
- On (Omega-)Regular Model Checking Axel Legay Pierre Wolper Sun 22 December 2013
- A Survey of Regular Model Checking ParoshAziz Abdulla Bengt Jonsson Marcus Nilsson Mayank Saksena Sun 22 December 2013
- Verifying systems with infinite but regular state spaces Pierre Wolper Bernard Boigelot Sun 22 December 2013
- Symbolic model checking with rich assertional languages Y. Kesten O. Maler M. Marcus A. Pnueli E. Shahar Sat 29 December 2012
- Widening techniques for regular tree model checking Ahmed Bouajjani Tayssir Touili Thu 11 October 2012
- Abstract regular (tree) model checking Ahmed Bouajjani Peter Habermehl Adam Rogalewicz Tomáš Vojnar Fri 05 October 2012
- Regular model checking Parosh Aziz Abdulla Thu 24 May 2012
Library Size: 13G (8 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
