Verification of parametric concurrent systems with prioritized FIFO resource management

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

Volumn 2761, Issue , 2003, Pages 174-190

  Bouajjani, Ahmed ^a   Habermehl, Peter ^a   Vojnar, Tomáš ^a  

^a UNIVERSITÉ PARIS DIDEROT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

NATURAL RESOURCES MANAGEMENT; RESOURCE ALLOCATION;

CONCURRENT SYSTEMS; DIFFERENT CLASS; FINITE-STATE MODELS; LOW PRIORITIES; PARAMETRIC VERIFICATION; RESOURCE MANAGEMENT; RESOURCE REQUEST; SHARED RESOURCES;

MODEL CHECKING;

EID: 33847156493     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45187-7_11     Document Type: Article

References (14)

1. P. Abdulla, A. Bouajjani, B. Jonsson, M. Nilsson. Handling Global Conditions in Parameterized System Verification. In Proc. of CAV'99, LNCS 1633. Springer, 1999.
2. T. Arts, C. Earle, J. Derrick. Verifying Erlang Code: A Resource Locker Case-Study. In Proc. of FME'02, LNCS 2391. Springer, 2002.
3. K. Baukus, S. Bensalem, Y. Lakhnech, K. Stahl. Abstracting WS1S Systems to Verify Parameterized Networks. In Proc. of TACAS 2000, LNCS 1785. Springer, 2000.
4. ∼vojnar/download/concur03.ps.gz
5. E. Emerson, V. Kahlon. Model Checking Large-Scale and Parameterized Resource Allocation Systems. In Proc. of TACAS'02, LNCS 2280. Springer, 2002.
6. E. Emerson, K. Namjoshi. Reasoning about Rings. In Proc. of POPL '95, 1995.
7. E. Emerson, K. Namjoshi. Automatic Verification of Parameterized Synchronous Systems. In Proc. of CAV'96, LNCS 1102. Springer, 1996.
8. E. Emerson, A. Sistla. Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach. ACM Transactions on Programming Languages and Systems, 19(4), 1997.
9. S. German, A. Sistla. Reasoning about Systems with Many Processes. JACM, 39(3), 1992.
10. Y. Kesten, O. Maler, M. Marcus, A. Pnueli, E. Shahar. Symbolic Model Checking with Rich Assertional Languages. In Proc. of CAV'97, LNCS 1254, 1997.
11. R. Kurshan, K. McMillan. A Structural Induction Theorem for Processes. Information and Computation, 117(1), 1995.
12. A. Pnueli, S. Ruah, L. Zuck. Automatic Deductive Verification with Invisible Invariants. In Proc. of TACAS 2001, LNCS 2031. Springer, 2001.
13. J. von Zur Gathen, M. Sieveking. A Bound on Solutions of Linear Integer Equalities and Inequalities. Proceedings of the American Mathematical Society, 1978.
14. P. Wolper, V. Lovinfosse. Verifying Properties of Large Sets of Processes with Network Invariants. In Autom. Verification Methods for Finite State Systems, LNCS 407, 1989. Springer.