From code to models

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn 2001-January, Issue , 2001, Pages 3-10

  Holzmann, G J ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTATIONAL LINGUISTICS; EXTRACTION; FORMAL METHODS; SYSTEMS ANALYSIS;

ABSTRACT MODELING; FULL-SCALE MODELS; IMPLEMENTATION LANGUAGES; MODEL EXTRACTION; MODELING TOOL; REAL-WORLD; VERIFICATION LANGUAGE; VERIFICATION MODEL;

FORMAL VERIFICATION;

EID: 84952769836     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSD.2001.981759     Document Type: Conference Paper

References (9)

1. T. Ball, and S.K. Rajamani. "Bebop: A Symbolic Model Checker for Boolean Programs," Proc. SPIN 2000 Workshop on Model Checking of Software, Lecture Notes in Computer Science, Vol. 1885, Springer Verlag, August/September 2000, pp. 113-130.
2. J. Corbett, M. Dwyer, John Hatcliff et al. Bandera: Extracting Finite-state Models from Java Source Code. Proc. Int. Conf. On Software Engineering, ICSE, 2000, Limerick, Ireland, pp. 439-448.
3. K. Havelund, and T. Pressburger. Model Checking Java Programs Using Java PathFinder. Int. Journal on Software Tools for Technology Transfer, Vol. 2, No. 4, pp. 366-381.
4. G.J. Holzmann, and M.H. Smith, "Automating software feature verification", Bell Labs Technical Journal, Vol. 5, No. 2, Murray Hill, NJ, April-June 2000, pp. 72-87.
5. G.J. Holzmann, "The model checker Spin", IEEE Trans. on Software Engineering, Vol. 23, No. 5, May 1997, pp. 279-295.
6. S.C. McConnell, "Code Complete," Microsoft Press, May 1993, 857 pgs.
7. S. Maguire, "Writing Solid Code," Microsoft Press, May 1993, 256 pgs.
8. D.S. Rosenblum, "A practical approach to programming with assertions," IEEE Trans. on Software Engineering, Vol. 21, No. 1, January 1995, pp. 19-31.
9. W. Visser, S. Park, and J. Penix. Applying predicate abstraction to model checking object-oriented programs. Proc. 3rd ACM SOGSOFT Workshop on Formal Methods in Software Practice, August 2000, pp. 3-12.