User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Iterating Transducers in the Large (Extended Abstract).

  1. Abdulla Parosh Aziz, Bouajjani Ahmed, Jonsson Bengt, On-the-fly analysis of systems with unbounded, lossy FIFO channels, Computer Aided Verification (1998) ISBN:9783540646082 p.305-318, 10.1007/bfb0028754
  2. Abdulla Parosh Aziz, Jonsson Bengt, Verifying Programs with Unreliable Channels, 10.1006/inco.1996.0053
  3. Abdulla Parosh Aziz, Jonsson Bengt, Nilsson Marcus, d'Orso Julien, Regular Model Checking Made Simple and Effcient*, CONCUR 2002 — Concurrency Theory (2002) ISBN:9783540440437 p.116-131, 10.1007/3-540-45694-5_9
  4. Bouajjani Ahmed, Esparza Javier, Maler Oded, Reachability analysis of pushdown automata: Application to model-checking, CONCUR '97: Concurrency Theory (1997) ISBN:9783540631415 p.135-150, 10.1007/3-540-63141-0_10
  5. Boigelot, B., Godefroid, P.: Symbolic verification of communication protocols with infinite state spaces using QDDs. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 1–12. Springer, Heidelberg (1996)
  6. Bouajjani Ahmed, Habermehl Peter, Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations, Automata, Languages and Programming (1997) ISBN:9783540631651 p.560-570, 10.1007/3-540-63165-8_211
  7. Bruyère, V., Hansel, G., Michaux, C., Villemaire, R.: Logic and precognizable sets of integers. Bulletin of the Belgian Mathematical Society 1(2), 191–238 (1994)
  8. Bouajjani Ahmed, Jonsson Bengt, Nilsson Marcus, Touili Tayssir, Regular Model Checking, Computer Aided Verification (2000) ISBN:9783540677703 p.403-418, 10.1007/10722167_31
  9. Boigelot, B.: Symbolic Methods for Exploring Infinite State Spaces. Collection des publications de la Faculté des Sciences Appliquées de l’Université de Liège, Liège, Belgium (1999)
  10. Boigelot Bernard, Wolper Pierre, Representing Arithmetic Constraints with Finite Automata: An Overview, Logic Programming (2002) ISBN:9783540439301 p.1-20, 10.1007/3-540-45619-8_1
  11. Dams Dennis, Lakhnech Yassine, Steffen Martin, Iterating Transducers, Computer Aided Verification (2001) ISBN:9783540423454 p.286-297, 10.1007/3-540-44585-4_27
  12. Finkel, A., Willems, B., Wolper, P.: A direct symbolic approach to model checking pushdown systems. In: Moller, F. (ed.) Infinity 1997, Second International Workshop on Verification of Infinite State Systems, Bologna. Electronic Notes in Theoretical Computer Science, vol. 9, Elsevier Science Publishers, Amsterdam (1997)
  13. Hopcroft John, AN n log n ALGORITHM FOR MINIMIZING STATES IN A FINITE AUTOMATON, Theory of Machines and Computations (1971) ISBN:9780124177505 p.189-196, 10.1016/b978-0-12-417750-5.50022-1
  14. Jonsson Bengt, Nilsson Marcus, Transitive Closures of Regular Relations for Verifying Infinite-State Systems, Tools and Algorithms for the Construction and Analysis of Systems (2000) ISBN:9783540672821 p.220-235, 10.1007/3-540-46419-0_16
  15. The Liège Automata-based Symbolic Handler (LASH), Available at http://www.montefiore.ulg.ac.be/~boigelot/research/lash/
  16. The Liège Automata-based Symbolic Handler (LASH), Available at http://www.montefiore.ulg.ac.be/~boigelot/research/lash/
  17. Pnueli Amir, Shahar Elad, Liveness and Acceleration in Parameterized Verification, Computer Aided Verification (2000) ISBN:9783540677703 p.328-343, 10.1007/10722167_26
  18. Touili Tayssir, Regular Model Checking using Widening Techniques, 10.1016/s1571-0661(04)00187-2
  19. Wolper Pierre, Boigelot Bernard, An automata-theoretic approach to Presburger arithmetic constraints, Static Analysis (1995) ISBN:9783540603603 p.21-32, 10.1007/3-540-60360-3_30
  20. Wolper Pierre, Boigelot Bernard, On the Construction of Automata from Linear Arithmetic Constraints, Tools and Algorithms for the Construction and Analysis of Systems (2000) ISBN:9783540672821 p.1-19, 10.1007/3-540-46419-0_1
Bibliographic reference Boigelot, Bernard ; Legay, Axel ; Wolper, Pierre. Iterating Transducers in the Large (Extended Abstract)..CAV
Permanent URL http://hdl.handle.net/2078.1/217310