Swarm verification techniques

IEEE Transactions on Software Engineering

Volumn 37, Issue 6, 2011, Pages 845-857

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

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^b 202 Apperson Hall   (United States)

Author keywords

distributed algorithms; logic model checking; Software engineering tools and techniques; software verification

Indexed keywords

CPU CORES; LOGIC MODEL CHECKING; MAIN MEMORY; MULTI-CORE SYSTEMS; PROBLEM SIZE; PROCESSING SPEED; SOFTWARE ENGINEERING TOOLS AND TECHNIQUES; SOFTWARE VERIFICATION; VERIFICATION PROBLEMS; VERIFICATION TECHNIQUES;

ALGORITHMS; PARALLEL ALGORITHMS; SOFTWARE ENGINEERING;

MODEL CHECKING;

EID: 79953213564     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2010.110     Document Type: Article

References (22)

1. D. L. Bird and C. U. Munoz, "Automatic Generation of Random Self-Checking Test Cases", IBM System J., vol. 22, no. 3, pp. 229-245, 1983.
2. T. Ball and S. K. Rajamani, "Automatically Validating Temporal Safety Properties of Interfaces", Proc. Spin Workshop Model Checking Software, pp. 103-122, May 2001. (Pubitemid 33276265)
3. M. B. Dwyer et al., "Parallel Randomized State-Space Search", Proc. Int'l Conf. Software Eng., pp. 3-12, 2007. (Pubitemid 47430636)
4. G. E. Moore, "Cramming More Components onto Integrated Circuits", Electronics, vol. 38, no. 8, pp. 114-117, Apr. 1965.
5. G. J. Holzmann, "Tracing Protocols", AT&T Technical J., vol. 64, no. 10, pp. 2413-2433, Dec. 1985.
6. G. J. Holzmann, "On Limits and Possibilities of Automated Protocol Analysis", Proc. Sixth Int'l Conf. Protocol Specification, Testing, and Verification, June 1987.
7. G. J. Holzmann, "Logic Verification of ANSI-C Code with Spin", Proc. Seventh Spin Workshop, pp. 131-147, Aug. 2000.
8. G. J. Holzmann, The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, 2004.
9. G. J. Holzmann and M. H. Smith, "Automating Software Feature Verification", Bell Labs Technical J., vol. 5, no. 2, pp. 72-87, Apr.-June 2000.
10. G. J. Holzmann and R. Joshi, "Model-Driven Software Verification", Proc. 11th Spin Workshop, pp. 77-92, Apr. 2004.
11. G. J. Holzmann and D. Bosnacki, "The Design of a Multi-Core Extension to the Spin Model Checker", IEEE Trans. Software Eng., vol. 33, no. 10, pp. 659-674, Oct. 2007. (Pubitemid 47455978)
12. G. J. Holzmann and M. Florian, "Model Checking with Bounded Context Switching", technical report, JPL LaRS Oct. 2009.
13. A. E. J. Hyvärinen, T. Junttila, and I. Niemelä, "Strategies for Solving SAT in Grids by Randomized Search", Intelligent Computer Math., pp. 125-140, Springer, 2008.
14. M. Musuvathi and S. Qadeer, "Fair Stateless Model Checking", Proc. ACM SIGPLAN Conf. Programming Language Design and Implementation, pp. 7-13, June 2008.
15. K. Ohmura and K. Ueda, "C-Sat: A Parallel SAT Solver for Clusters", Proc. 12th Int'l Conf. Theory and Applications of Satisfiability Testing, pp. 524-537, 2009.
16. D. Owen and T. Menzies, "Lurch: A Lightweight Alternative to Model Checking", Proc. 15th Int'l Conf. Software Eng. and Knowledge Eng., July 2003.
17. J. Penix, W. Visser, C. Pasareanu, E. Engstrom, A. Larson, and N. Weininger, "Verifying Time Partitioning in the DEOS Scheduling Kernel", Formal Methods in Systems Design J., vol. 26, no. 2, Mar. 2005.
18. C. West, "Protocol Validation in Complex Systems", Proc. Symp. Comm. Architecture and Protocols, pp. 303-312, 1989. (Pubitemid 20692657)
19. S. Qadeer and J. Rehof, "Context-Bounded Model Checking", Proc. Tools and Algorithms for the Construction and Analysis of Systems, pp. 93-107, 2005.
20. H. Sivaraj and G. Gopalakrishnan, "Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking", Proc. Second Int'l Workshop Parallel and Distributed Model Checking, July 2003.
21. W. Visser, K. Havelund, G. Brat, S. Park, and F. Lerda, "Model Checking", Programs Int'l J. Automated Software Eng. vol. 10, no. 2, pp. 3-12, Apr. 2003.
22. C. M. Wintersteiger, Y. Hamadi, and L.de Moura, "A Concurrent Portfolio Approach to SMT Solving", Proc. Int'l Conf. Computer Aided Verification, pp. 715-720, 2009.