PAT: Towards flexible verification under fairness

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

Volumn 5643 LNCS, Issue , 2009, Pages 709-714

  Sun, Jun ^a   Liu, Yang ^a   Dong, Jin Song ^a   Pang, Jun ^b  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

[No Author keywords available]

Indexed keywords

CURRENT PRACTICES; DISTRIBUTED SYSTEMS; EFFICIENT SYSTEMS; EMPIRICAL EVALUATIONS; FAIRNESS CONSTRAINTS; MODEL CHECK; MODEL CHECKER; SYSTEM ANALYSIS; UNIFIED ALGORITHM;

COMPUTER AIDED ANALYSIS; SYSTEMS ANALYSIS;

MODEL CHECKING;

EID: 70350222211     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02658-4_59     Document Type: Conference Paper

References (10)

1. Angluin, D., Aspnes, J., Fischer, M.J., Jiang, H.: Self-stabilizing Population Protocols. In: Anderson, J.H., Prencipe, G., Wattenhofer, R. (eds.) OPODIS 2005. LNCS, vol. 3974, pp. 103-117. Springer, Heidelberg (2006)
2. Fischer, M.J., Jiang, H.: Self-stabilizing Leader Election in Networks of Finite-state Anonymous Agents. In: Shvartsman, M.M.A.A. (ed.) OPODIS 2006. LNCS, vol. 4305, pp. 395-409. Springer, Heidelberg (2006)
3. Geldenhuys, J., Valmari, A.: More efficient on-the-fly LTL verification with Tarjan's algorithm. Theoritical Computer Science 345(1), 60-82 (2005)
4. Henzinger, M.R., Telle, J.A.: Faster Algorithms for the Nonemptiness of Streett Automata and for Communication Protocol Pruning. In: Karlsson, R., Lingas, A. (eds.) SWAT 1996. LNCS, vol. 1097, pp. 16-27. Springer, Heidelberg (1996)
5. Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison Wesley, Reading (2003)
6. Jiang, H.: Distributed Systems of Simple Interacting Agents. Ph.D thesis, Yale Univ. (2007)
7. Kesten, Y., Pnueli, A., Raviv, L., Shahar, E.: Model Checking with Strong Fairness. Formal Methods and System Design 28(1), 57-84 (2006)
8. Lamport, L.: Proving the Correctness of Multiprocess Programs. IEEE Transactions on Software Engineering 3(2), 125-143 (1977)
9. Lehmann, D.J., Pnueli, A., Stavi, J.: Impartiality, Justice and Fairness: The Ethics of Concurrent Termination. In: Even, S., Kariv, O. (eds.) ICALP 1981. LNCS, vol. 115, pp. 264-277. Springer, Heidelberg (1981)
10. Sun, J., Liu, Y., Dong, J.S., Pang, J.: Towards a Toolkit for Flexible and Efficient Verification under Fairness. Technical Report TRB2/09, National Univ. of Singapore (December 2008)