On (Omega-)regular model checking

Article, Preprint English OPEN
Legay, Axel; Wolper, Pierre;
(2010)
  • Subject: model-checking | : Computer science [Engineering, computing & technology] | : Sciences informatiques [Ingénierie, informatique & technologie] | Computer Science - Logic in Computer Science | automata | verification

Checking infinite-state systems is frequently done by encoding infinite sets of states as regular languages. Computing such a regular representation of, say, the set of reachable states of a system requires acceleration techniques that can finitely compute the effect of... View more
  • References (75)
    75 references, page 1 of 8

    Abdulla, P. A., Bouajjani, A., and d'Orso, J. 2003. Deciding monotonic games. In Proc. 12th Int. Conference for Computer Science Logic (CSL). Lecture Notes in Computer Science, vol. 2803. Springer, 1-14.

    Abdulla, P. A., Bouajjani, A., Jonsson, B., and Nilsson, M. 1999. Handling global conditions in parameterized system verification. In Proc. 11th Int. Conference on Computer Aided Verification (CAV). Lecture Notes in Computer Science, vol. 1633. Springer, 134-145.

    Abdulla, P. A. and Jonsson, B. 1996. Verifying programs with unreliable channels. Information and Computation 127, 2 (June), 91-101.

    Abdulla, P. A., Jonsson, B., Mahata, P., and d'Orso, J. 2002. Regular tree model checking. In Proc. 14th Int. Conference on Computer Aided Verification (CAV). Lecture Notes in Computer Science, vol. 2404. Springer, 555-568.

    Abdulla, P. A., Jonsson, B., Nilsson, M., and d'Orso, J. 2003. Algorithmic improvements in regular model checking. In Proc. 15th Int. Conference on Computer Aided Verification (CAV). Lecture Notes in Computer Science, vol. 2725. Springer, 236-248.

    Abdulla, P. A., Jonsson, B., Nilsson, M., d'Orso, J., and Saksena, M. 2004. Regular model checking for ltl(mso). In Proc. 16th Int. Conference on Computer Aided Verification (CAV). Lecture Notes in Computer Science, vol. 3114. Springer, 348-360.

    Adler, B. T., de Alfaro, L., da Silva, L. D., Faella, M., Legay, A., Raman, V., and Roy, P. 2006. Ticc: A tool for interface compatibility and composition. In Proc. 18th Int. Conference on Computer Aided Verification (CAV). Lecture Notes in Computer Science, vol. 4144. Springer, 59-62.

    Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T. A., Ho, P., Nicollin, X., Olivero, A., Sifakis, J., and Yovine, S. 1995. The algorithmic analysis of hybrid systems. Theoretical Computer Science 138, 1, 3-34.

    Alur, R. and Madhusudan, P. 2004. Visibly pushdown languages. In Proc. 36th Int. ACM Symposium on Theory of Computing (STOC). ACM, 202-211.

    Angluin, D. 1987. Learning regular sets from queries and counterexamples. Information and Computation 75, 2, 87-106.

  • Metrics
    No metrics available
Share - Bookmark