Tackling large verification problems with the swarm tool

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

Volumn 5156 LNCS, Issue , 2008, Pages 134-143

  Holzmann, Gerard J ^a   Joshi, Rajeev ^a   Groce, Alex ^a  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CPU CORES; CPU SPEEDS; IN PROCESSING; LOGIC MODEL CHECKING; LOW SPEEDS; MAIN MEMORIES; MEMORY SIZES; MULTI-CORE SYSTEMS; NEW TOOLS; STANDARD DESKTOPS; VERIFICATION PROBLEMS;

DATA STORAGE EQUIPMENT; MICROPROCESSOR CHIPS; SPEED; SPIN DYNAMICS; TECHNICAL PRESENTATIONS;

MODEL CHECKING;

EID: 54249169176     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85114-1_11     Document Type: Conference Paper

References (11)

1. [C05] Chien, S., Sherwood, R., Tran, D., et al.: Using Autonomy Flight Software to Improve Science Return on Earth Observing One (EO1). Journal of Aerospace Computing, Information, and Communication (April 2005)
2. [D07] Dwyer, M.B., Elbaum, S.G., et al.: Parallel Randomized State-Space Search. In: Proc. ICSE 2007, pp. 3-12 (2007)
3. [M69] Moore, G.E.: Cramming more components onto integrated circuits. Electronics 38(8) (April 9, 1965)
4. [G02] Gluck, P.R., Holzmann, G.J.: Using Spin Model Checking for Flight Software Verification. In: Proc. 2002 Aerospace Conf., March 2002. IEEE, Big Sky (2002)
5. [H87] Holzmann, G.J.: On limits and possibilities of automated protocol analysis. In: Rudin, H., West, C. (eds.) Proc. 6th Int. Conf. on Protocol Specification, Testing, and Verification, INWG IFIP, Zurich, Switzerland (June 1987)
6. [H00] Holzmann, G.J.: Logic verification of ANSI-C Code with Spin. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol. 1885, pp. 131-147. Springer, Heidelberg (2000)
7. [HS00] Holzmann, G.J., Smith, M.H.: Automating software feature verification. Bell Labs Technical Journal 5(2), 72-87 (2000)
8. [HJ04] Holzmann, G.J., Joshi, R.: Model-driven software verification. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol. 2989, pp. 76-91. Springer, Heidelberg (2004)
9. [HB07] Holzmann, G.J., Bosnacki, D.: The design of a multi-core extension to the Spin model checker. IEEE Trans. On Software Engineering 33(10), 659-674 (2007)
10. [MQ08] Musuvathi, M., Qadeer, S.: Fair stateless model checking. In: Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI), Tucson, AZ, June 7-13 (2008)
11. [P05] Penix, J., Visser, W., Pasareanu, C., Engstrom, E., Larson, A., Weininger, N.: Verifying Time Partitioning in the DEOS Scheduling Kernel. Formal Methods in Systems Design Journal 26(2) (2005)