General Verification Theories for Infinite State Systems |
[Kindahl, 1999] |
M. Kindahl (1999). Verification of Infinite-State Systems: Decision Problems and Efficient Algorithms. PhD thesis, Dept. of Computer Systems, Uppsala University, Swden. |
[Abdulla and Nylén, 2004] |
Parosh Aziz Abdulla and Aletta Nylén (2004). Better-Structured Transition Systems. Technical Report Nr. 2004-017. Dept. of Information Technology, Uppsala University, Sweden. |
[Abdulla and Nylén, 2002] |
Parosh Aziz Abdulla and Aletta Nylén (2002). Undecidability of LTL for Timed Petri Nets. In: Proc. 4th Int. Workshop on Verification of Infinite-State Systems. |
[Abdulla and Jonsson, 2003] |
Parosh Aziz Abdulla and Bengt Jonsson (2003). Model checking of systems with many identical timed processes. In: Theoretical Computer Science, 290(1):241--264. |
[Abdulla et al., 2003] |
Parosh Aziz Abdulla and Ahmed Bouajjani and Juilen d'Orso (2003). Deciding Monotonic Games. In: Proc. CSL 2003. Volume 2803 of Lecture Notes in Computer Science. pp. 1--14. |
[Mahata, 2005] |
P. Mahata (2005). Model Checking Parameterized Timed Systems. PhD thesis, Dept. of Information Technology, Uppsala University, Sweden, Uppsala, Sweden. |
[Abdulla, 2005] |
Parosh Aziz Abdulla (2005). Verification of Parameterized Timed Systems. In: Proc. FORMATS'05, International Conference on Formal Modelling and Analysis of Timed Systems. |