logo
Regular Model Checking

[Abdulla et al., 2006]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Bengt Jonsson and Ahmed Rezine and Mayank Saksena (2006).
Proving Liveness by Backwards Reachability..
In: Proc. CONCUR '06-17th Int. Conf. on Concurrency Theory. pp. 95--109.
[Abdulla et al., 1999]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Ahmed Bouajjani and Bengt Jonsson and Marcus Nilsson (1999).
Handling Global Conditions in Parameterized System Verification.
In: Proc. CAV '99-11th Int. Conf. on Computer Aided Verification. Volume 1633 of Lecture Notes in Computer Science. pp. 134--145.
[Abdulla et al., 2002]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Bengt Jonsson and Marcus Nilsson and Julien d'Orso (2002).
Regular Model Checking Made Simple and Efficient.
In: Proc. CONCUR 2000-12th Int. Conf. on Concurrency Theory. Volume 2421 of Lecture Notes in Computer Science. pp. 116--130.
[Abdulla et al., 2003]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Bengt Jonsson and Marcus Nilsson and Julien d'Orso (2003).
Algorithmic Improvements in Regular Model Checking..
In: Proc. CAV '03-15th Int. Conf. on Computer Aided Verification. Volume 2725 of Lecture Notes in Computer Science. pp. 236--248.
[Abdulla et al., 2004]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Bengt Jonsson and Marcus Nilsson and Julien d'Orso and Mayank Saksena (2004).
Regular Model Checking for S1S + LTL.
In: Proc. CAV '04-16th Int. Conf. on Computer Aided Verification. Lecture Notes in Computer Science. Boston, pp. 348--360. Published by Springer Verlag.
[Abdulla et al., 2005]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Axel Legay and Julien d'Orso and Ahmed Rezine (2005).
Simulation-Based Iteration of Tree Transducers.
In: Proc. TACAS '05-11th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems. Volume 3440 of Lecture Notes in Computer Science.
[Abdulla et al., 2006]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Axel Legay and Julien d'Orso and Ahmed Rezine (2006).
Tree Regular Model Checking: A Simulation-based Approach..
In: The Journal of Logic and Algebraic Programming, . To appear.
[Abdulla et al., 2004]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Bengt Jonsson and Marcus Nilsson and Julien d'Orso and Mayank Saksena (2004).
Regular Model Checking for LTL(MSO).
In: Proc. CAV '04-16th Int. Conf. on Computer Aided Verification. pp. 348--360.
[Abdulla et al., 2004]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Bengt Jonsson and Marcus Nilsson and Mayank Saksena (2004).
A Survey of Regular Model Checking.
In: Proc. CONCUR 2004-15th Int. Conf. on Concurrency Theory. Volume 3170 of Lecture Notes in Computer Science. pp. 348--360.
[Abdulla et al., 2002]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Bengt Jonsson and Pritha Mahata and Julien d'Orso (2002).
Regular Tree Model Checking.
In: Proc. CAV '02-14th Int. Conf. on Computer Aided Verification. Volume 2404 of Lecture Notes in Computer Science.
[Abdulla et al., 2005]
 
Show BibTeX entryDownload Article
P. A. Abdulla and A. Legay and J. d'Orso and A. Rezine (2005).
Tree Regular Model Checking: A Simulation-Based Approach.
Technical Report Nr. 42. Centre Federe en Verification. available at http://www.montefiore.ulg.ac.be/\~legay/papers/paper-tree.ps.
[Abdulla et al., 2006]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Noomene Ben Henda and Giorgio Delzanno and Ahmed Rezine (2006).
Regular Model Checking without Transducers (On Efficient Verification of Parameterized Systems).
Technical Report Nr. 2006-052. Dept. of Information Technology, Uppsala University, Sweden.
[Abdulla et al., 2007]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Noomene Ben Henda and Giorgio Delzanno and Ahmed Rezine (2007).
Regular Model Checking without Transducers (On Efficient Verification of Parameterized Systems).
In: Proc. TACAS '07-13th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems.
[Bouajjani et al., 2000]
 
Show BibTeX entryDownload Article
Ahmed Bouajjani and Bengt Jonsson and Marcus Nilsson and Tayssir Touili (2000).
Regular Model Checking..
In: Proc. CAV '00-12th Int. Conf. on Computer Aided Verification. pp. 403--418.
[Jonsson and Nilsson, 2000]
 
Show BibTeX entryDownload Article
Bengt Jonsson and Marcus Nilsson (2000).
Transitive Closures of Regular Relations for Verifying Infinite-State Systems..
In: Proc. TACAS '00-6th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems. pp. 220--234.
[Jonsson and Saksena, 2007]
 
Show BibTeX entry
Bengt Jonsson and Mayank Saksena (2007).
Systematic Acceleration in Regular Model Checking.
In: Proc. CAV '07-19th Int. Conf. on Computer Aided Verification. Lecture Notes in Computer Science. Published by Springer Verlag.