Accès à distance ? S'identifier sur le proxy UCLouvain
Iterating Transducers in the Large (Extended Abstract).
Primary tabs
Document type | Communication à un colloque (Conference Paper) |
---|---|
Publication date | 2003 |
Language | Anglais |
Conference | "CAV" |
Affiliation | UCL - SST/ICTM - Institute of Information and Communication Technologies, Electronics and Applied Mathematics |
Links |
- 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
- Abdulla Parosh Aziz, Jonsson Bengt, Verifying Programs with Unreliable Channels, 10.1006/inco.1996.0053
- 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
- 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
- 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)
- 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
- 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)
- Bouajjani Ahmed, Jonsson Bengt, Nilsson Marcus, Touili Tayssir, Regular Model Checking, Computer Aided Verification (2000) ISBN:9783540677703 p.403-418, 10.1007/10722167_31
- 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)
- 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
- Dams Dennis, Lakhnech Yassine, Steffen Martin, Iterating Transducers, Computer Aided Verification (2001) ISBN:9783540423454 p.286-297, 10.1007/3-540-44585-4_27
- 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)
- 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
- 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
- The Liège Automata-based Symbolic Handler (LASH), Available at http://www.montefiore.ulg.ac.be/~boigelot/research/lash/
- The Liège Automata-based Symbolic Handler (LASH), Available at http://www.montefiore.ulg.ac.be/~boigelot/research/lash/
- Pnueli Amir, Shahar Elad, Liveness and Acceleration in Parameterized Verification, Computer Aided Verification (2000) ISBN:9783540677703 p.328-343, 10.1007/10722167_26
- Touili Tayssir, Regular Model Checking using Widening Techniques, 10.1016/s1571-0661(04)00187-2
- 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
- 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 |