Forcing monotonicity in parameterized verification: From multisets to words

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5901 LNCS, Issue , 2010, Pages 1-15

  Abdulla, Parosh Aziz ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ARBITRARY NUMBER; COUNTER ABSTRACTION; FINITE ALPHABET; MONOTONICITY; MULTI-SETS; PARAMETERIZED; PARAMETERIZED SYSTEM; REWRITING RULES; SAFETY PROPERTY; TRANSITION RELATIONS; TRANSITION SYSTEM;

COMPUTER SCIENCE; GRAPH THEORY; PETRI NETS;

ABSTRACTING;

EID: 77249090766     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-11266-9_1     Document Type: Conference Paper

References (13)

1. Abdulla, P.A., Čerāns, K., Jonsson, B., Tsay, Y.-K.: General Decidability Theorems for Infinite-State Systems. In: Proc. LICS 1996, 11th IEEE Int. Symp. on Logic in Computer Science, pp. 313-321 (1996)
2. Abdulla, P.A., Čerāns, K., Jonsson, B., Tsay, Y.-K.: Algorithmic Analysis of Programs with Well Quasi-Ordered Domains. Information and Computation 160, 109-127 (2000)
3. Abdulla, P.A., Delzanno, G., Rezine, A.: Parameterized Verification of Infinite-State Processes with Global Conditions. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 145-157. Springer, Heidelberg (2007)
4. Abdulla, P.A., Henda, N.B., Delzanno, G., Rezine, A.: Regular Model Checking without Transducers (on Efficient Verification of Parameterized Systems). In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 721-736. Springer, Heidelberg (2007)
5. Abdulla, P.A., Henda, N.B., Delzanno, G., Rezine, A.: Handling Parameterized Systems with Non-Atomic Global Conditions. In: Logozzo, F., Peled, D.A., Zuck, L.D. (eds.) VMCAI 2008. LNCS, vol. 4905, pp. 22-36. Springer, Heidelberg (2008)
6. Abdulla, P.A., Jonsson, B.: Verifying Programs with Unreliable Channels. In: Proc. LICS 1993, 8th IEEE Int. Symp. on Logic in Computer Science, pp. 160-170 (1993)
7. Abdulla, P.A., Jonsson, B.: Model Checking of Systems with Many Identical Timed Processes. Theoretical Computer Science 290(1), 241-264 (2003)
8. Dickson, L.E.: Finiteness of the Odd Perfect and Primitive Abundant Numbers with n Distinct Prime Factors. Amer. J. Math. 35, 413-422 (1913)
9. Emerson, E., Namjoshi, K.: On Model Checking for Non-Deterministic Infinite-State Systems. In: Proc. LICS 1998, 13th IEEE Int. Symp. on Logic in Computer Science, pp. 70-80 (1988)
10. Esparza, J., Finkel, A., Mayr, R.: On the Verification of Broadcast Protocols. In: Proc. LICS 1999, 14th IEEE Int. Symp. on Logic in Computer Science (1999)
11. Finkel, A., Schnoebelen, P.: Well-Structured Transition Systems Everywhere! Theoretical Computer Science 256(1-2), 63-92 (2001)
12. Higman, G.: Ordering by Divisibility in Abstract Algebras. Proc. London Math. Soc. (3), 2(7), 326-336 (1952)
13. Yonesaki, N., Katayama, T.: Functional Specification of Synchronized Processes Based on Modal Logic. In: IEEE 6th International Conference on Software Engineering, pp. 208-217 (1982)