Swarm verification

ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings

Volumn , Issue , 2008, Pages 1-6

  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

DIVIDE AND CONQUER; GAIN ACCESSES; MODEL CHECKERS; SPEED-UP;

HELIUM; SOFTWARE ENGINEERING; SUPERCOMPUTERS;

MODEL CHECKING;

EID: 56249109465     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2008.9     Document Type: Conference Paper

References (14)

1. J. Appavoo, V. Uhlig , D. da Silva, "Scalability: The Software Problem," Proc. Second Workshop on Software Tools for Multi-Core Systems, San Jose, CA, March 2007.
2. th Spin Workshop, Berlin, Germany, July 2007, Springer,LNCS 4595.
3. R. Bryant and J. Hawkes, "Linux Scalability for Large NUMA Systems," Proc. Linux Symp., June 2003, Ottawa, Canada, pp.83-95.
4. st ed.).
5. A. Groce, G.J. Holzmann, R. Joshi, "Randomized differential testing as a prelude to formal verification," Proc. Int. Conf. on Software Engineering (ICSE 2007). Minneapolis, Minnesota, May 2007, pp. 621-631.
6. G.J. Holzmann and M.H. Smith, "An automated verification method for distributed systems software based on model extraction," IEEE Trans. on Software Engineering, Vol. 28, No. 4, pp. 364-377, April 2002.
7. G.J. Holzmann, The Spin Model Checker: Primer and Reference Manual, Addison-Wesley, 2004.
8. th Spin Workshop, Barcelona Spain, April 2004, Springer, LNCS 2989, pp. 77-92.
9. G. J. Holzmann, and D. Bosnacki, "The design of a multi-core extension of the Spin model checker," IEEE Trans. On Software Eng., Vol. 33, No. 10, Oct. 2007, pp. 659-674.
10. th Spin Workshop, Los Angeles, US, August 2008, Springer, LNCS 5156, pp. 134-143.
11. R. Joshi and G.J. Holzmann, "A mini challenge: build a verifiable file-system," Grand Challenge in Verification, Verified Software: Theories, Tools, Experiments, Zurich, Sw., October 2005, Formal Aspects of Computing, 2007, Vol. 19, 4 pgs.
12. K.L. McMillan: Symbolic Model Checking. Kluwer Academic Publishers, 1993
13. G.E. Moore, Cramming more components onto integrated circuits, Electronics, 38, (8), April 9, 1965.
14. U. Stern and D. Dill. "Parallelizing the Murφ verifier," Proc. 9th Int. Conf. on Computer Aided Verification, Haifa, Israel, June 1997, Springer, LNCS 1254, pp 256-278.