Bibliography

1

P. A. Abdulla, K. Cerans, B. Jonsson, and Y.-K. Tsay.
General Decidability Theorems for Infinite-State Systems.
In Proceedings 11th Annual International Symposium on Logic in Computer Science (LICS'96), pages 313-321, New Brunswick, New Jersey, 1996. IEEE Computer Society Press.

2

P. A. Abdulla and B. Jonsson.
Verifying Networks of Timed Processes.
In B. Steffen, editor, Proceedings 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'98), volume 1384 of LNCS, pages 298-312, Lisbon, Portugal, 1998. Springer-Verlag.

3

P. A. Abdulla, B. Jonsson.
Channel Representations in Protocol Verification.
In Proc. CONCUR 2001, LNCS 2154, pages 1-15. Springer, 2001.

4

P. .A. Abdulla and A. Nylén.
Better is Better than Well: On Efficient Verification of Infinite-State Systems.
In Proceedings 15th Annual International Symposium on Logic in Computer Science (LICS'00), pages 132-140, Santa Barbara, California, 2000. IEEE Computer Society Press.

5

T. Arons, A. Pnueli, S. Ruah, Y. Xu, and L. D. Zuck.
Parameterized Verification with Automatically Computed Inductive Assertions.
In G. Berry, H. Comon, and A. Finkel, editors, Proceedings 13th International Conference on Computer Aided Verification (CAV'01), volume 2102 of LNCS, pages 221-234, Paris, France, 2001. Springer-Verlag.

6

A. Bouajjani, B. Jonsson, M. Nilsson, and T. Touili.
Regular Model Checking.
In E. A. Emerson and A. P. Sistla, editors, Proceedings 12th International Conference on Computer Aided Verification (CAV'00), volume 1855 of LNCS, pages 403-418, Chicago, Illinois, 2000. Springer-Verlag.

7

M. C. Browne, E. M. Clarke, O. Grumberg. Reasoning about Networks with Many Identical Finite State Processes.
Information and Computation 81(1): 13-31, 1989.

8

M. Bozzano, G. Delzanno.
Beyond Parameterized Verification.
In Proc. TACAS '02, LNCS 2280, pages 221-235, 2002.

9

M. Bozzano, G. Delzanno.
Automatic Verification of Invalidation-based Protocols.
To appear in Proc. CAV '02, July 2002.

10

T. Bultan, R. Gerber, and W. Pugh.
Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetics.
In O. Grumberg, editor, Proceedings 9th International Conference on Computer Aided Verification (CAV'97), volume 1254 of LNCS, pages 400-411, Haifa, Israel, 1997. Springer-Verlag.

11

I. Cervesato, N.A. Durgin, P.D. Lincoln, J.C. Mitchell, and A. Scedrov.
A Meta-notation for Protocol Analysis.
In R. Gorrieri, editor, 12th Computer Security Foundations Workshop (CSFW'99), pages 55-69, Mordano, Italy, 1999.

12

E. Clarke, O. Grumberg, S. Jha.
Verifying Parameterized Networks.
TOPLAS 19(5): 726-750, 1997.

13

G. Delzanno.
Automatic Verification of Parameterized Cache Coherence Protocols.
In E. A. Emerson and A. P. Sistla, editors, Proceedings 12th International Conference on Computer Aided Verification (CAV'00), volume 1855 of LNCS, Chicago, Illinois, 2000. Springer-Verlag.

14

G. Delzanno.
An Assertional Language for Systems Parametric in Several Dimensions.
In R. Mayr, editor, Proceedings Workshop on Verification of Parameterized Systems (VEPAS '01), volume 50 of ENTCS, Crete, Greece, 2001. Elsevier Science.

15

G. Delzanno.
On the Automated Verification of Parameterized Concurrent Systems with Unbounded Local Data.
Technical Report. Dipartimento di Informatica e Scienze dell'Informazione, Università di Genova, July 2002.Availabe at the URL: http://www.disi.unige.it/person/DelzannoG/papers.html

16

G. Delzanno and A. Podelski.
Model checking in CLP.
In R. Cleaveland, editor, Proceedings 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'99), volume 1579 of LNCS, pages 223-239, Amsterdam, The Netherlands, 1999. Springer-Verlag.

17

J. Esparza, A. Finkel, and R. Mayr.
On the Verification of Broadcast Protocols.
In Proceedings 14th International Symposium on Logic in Computer Science (LICS'99), pages 352-359, Trento, Italy, 1999. IEEE Computer Society Press.

18

A. Finkel and P. Schnoebelen.
Well-Structured Transition Systems Everywhere!
Theoretical Computer Science, 256(1-2):63-92, 2001.

19

F. Fioravanti, A. Pettorossi, M. Proietti.
Verifcation of Sets of Infinite State Systems Using Program Transformation.
In Proc. LOPSTR'01, pp. 55-66, 2001.

20

K. Fisler, C. Girault.
Modelling and Model Checking a Distributed Shared Memory Consistency Protocol.
In Proc. ICATPN 1998, pag. 84-103, 2001.

21

L. Fribourg.
Constraint Logic Programming Applied to Model Checking.
In A. Bossi, editor, Proceedings 9th International Workshop on Logic Program Synthesis and Transformation (LOPSTR'99), volume 1817 of LNCS, pages 30-41, Venezia, Italy, 1999. Springer-Verlag.

22

J. Jaffar and J.L. Lassez.
Constraint Logic Programming.
In Proceedings 14th Symposium on Principles of Programming Languages (POPL'87), pages 111-119, Munich, Germany, 1987. ACM Press.

23

Y. Kesten, O. Maler, M. Marcus, A. Pnueli, and E. Shahar.
Symbolic model checking with rich assertional languages.
In O. Grumberg, editor, Proceedings 9th International Conference on Computer Aided Verification (CAV'97), volume 1254 of LNCS, pages 424-435, Haifa, Israel, 1997. Springer-Verlag.

24

K. Li, P. Hudak.
Memory Coherence in Shared Virtual Memory Systems.
TOCS 7(4): 321-359, 1989.

25

M. Nilsson.
Regular Model Checking.
PhD thesis, Department of Information Technology, Uppsala University, 2000.

26

M. Rusinowitch and L. Vigneron.
Automated Deduction with Associative and Commutative Operators.
Applicable Algebra in Engineering, Communication and Computing, 6:23-56, 1995.