Parallel search for LTL violations

International Journal on Software Tools for Technology Transfer

Volumn 7, Issue 1, 2005, Pages 31-42

  Jones, Michael D ^a   Sorber, Jacob ^a  

^a 3361 TMCB   (United States)

Author keywords

Biologically inspired algorithms; Explicit model checking; Semiformal verification

Indexed keywords

ALGORITHMS; BANDWIDTH; COMPUTER SIMULATION; COMPUTER WORKSTATIONS; DATA STORAGE EQUIPMENT; FORMAL LOGIC; PROBABILITY DISTRIBUTIONS;

BEE-BASED ERROR EXPLORATION; BIOLOGICALLY INSPIRED ALGORITHMS; EXPLICIT MODEL CHECKING; LINEAR TEMPORAL LOGIC; PARALLEL MODEL CHECKING; SEMIFORMAL VERIFICATION;

PARALLEL PROCESSING SYSTEMS;

EID: 13844313093     PISSN: 14332779     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10009-003-0115-8     Document Type: Article

References (19)

1. Barnat J, Brim L, Stříbrná J (2000) Distributed LTL model-checking in SPIN. Technical Report FIMU-RS-2000-10, Faculty of Informatics, Masaryk University, Brno, Czech Republic
2. Bartholdi III JJ, Seeley TD, Tovey CA, Vande Vate JH (1993) The pattern and effectiveness of forager allocation among flower patches by honey bee colonies. J Theor Biol 160:23-40
3. Brim L, Cerna I, Krcal P, Pelanek R (2001) Distributed LTL model checking based on negative cycle detection. In: Proceedings of the conference on foundations of software technology and theoretical computer science FST-TCS01, Bangalore, India, 13-15 December 2001. Lecture notes in computer science, vol 2245. Springer, Berlin Heidelberg New York
4. Brim L, Cerna I, Necesal M (2001) Randomization helps in LTL model checking. In: Proceedings of the PAPM-PROBMIV workshop, Aachen, Germany, 12-14 September 2001. Lecture notes in computer science, vol 2165, Springer, Berlin Heidelberg New York
5. Clarke EM, Grumberg O, Peled D (2000) Model checking. MIT Press, Cambridge, MA
6. Dill DL (1996) The Murø verification system. In: Alur R, Henzinger TA (eds) Proceedings of Computer Aided Verification (CAV'96), New Brunswick, NJ, July/August 1996. Lecture notes in computer science, vol 1102, Springer, Berlin Heidelberg New York, pp 390-393
7. Di Caro G, Dorigo M (1998) Antnet: Distributed stigmergetic control for communications networks. J Artif Intell Res 9:317-365
8. Dorigo M, Di Caro G, Gambardella LM (1999) Ant algorithms for discrete optimization. Artif Life 5(2):137-172
9. Dang Z, Kemmerer R (2000) Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems. In: Proceedings of the 22nd international conference on software engineering (ICSE00), Limerick Ireland, 4-11 June 2000. IEEE Press, New York, pp 345-354
10. Edelkamp S, Lluch-Lafuente A, Leue S (2001) Directed explicit model checking with HSF-SPIN. In: Proceedings of the 8th international SPIN workshop on model checking software, Toronto, Canada, 19-20 May 2001. Lecture notes in computer science, vol 2057, Springer, Berlin Heidelberg New York
11. Grumberg O, Heyman T, Schuster A (2001) Distributed symbolic model checking for the μ-calculus. In: Proceedings of Computer Aided Verification 2001 (CAV'01), Paris, 18-23 July 2001. Lecture notes in computer science, vol 2102, Springer, Berlin Heidelberg New York
12. Haslum P (1999) Model checking by random walk. Available at: http://www.ida.liu.se/~pahas/public/ccsse99.ps.gz
13. Holzmann GJ (1998) An analysis of bitstate hashing. Formal Meth Sys Design 13(3):289-307
14. Lerda F, Sisto R (1999) Distributed-memory model checking in SPIN. In: Proceedings of the SPIN workshop, Trento, Italy, 5 July 1999. Lecture notes in computer science, vol 1680, Springer, Berlin Heidelberg New York
15. Russell SJ (1992) Efficient memory-bounded search methods. In: Proceedings of the 10th European conference on artificial intelligence (ECAI92). Wiley, New York, pp 1-5
16. Seeley TD (1995) The wisdom of the hive: The social biology of honey bee colonies. Harvard University Press, Cambridge, MA
17. Seeley TD, Visscher PK (1988) Assessing the benefits of cooperation in honeybee foraging: Search costs, forage quality and competitive ability. Behav Ecol Sociobiol 22:229-237
18. Seeley TD, Camazine S, Sneyd J (1991) Collective decision-making in honey bees: How colonies choose amung nectar sources. Behav Ecol Sociobiol 28:277-290
19. Stern U, Dill DL (1997) Parallelizing the Murø verifier. In: Grumburg O (ed) Proceedings of Computer Aided Verification (CAV'97), Haifa, Israel, June 1997. Lecture notes in computer science, vol 1254, Springer, Berlin Heidelberg New York, pp 256-267