`bibliography`

`Books`

[link]	*Beyond Photography - the Digital Darkroom* G.J. Holzmann Prentice-Hall, Englewood Cliffs New Jersey, 1988.




[link]	*Design and Validation of Computer Protocols* G.J. Holzmann Prentice-Hall, Englewood Cliffs New Jersey, 1991.




[link]	*The Early History of Data Networks* G.J. Holzmann and B. Pehrson IEEE Computer Society Press, Los Alamitos CA, (John Wiley & Sons), October 1994.




[link]	*The Spin Model Checker - Primer and Reference Manual* G.J. Holzmann Addison-Wesley, Reading Massachusetts, 2004, ISBN 0-321-22862-6, 608 pgs.

`Proceedings`

[link]	*Partial Order Methods in Verification* D. Peled, V.R. Pratt, and G.J. Holzmann (Eds) American Mathematical Society, DIMACS Series, Vol. 29, 1997, ISBN 0-8218-0579-7, 403 pgs.




[link]	*The Spin Verification System* J-C Gregoire, G.J. Holzmann, and D. Peled (Eds) American Mathematical Society, DIMACS Series, Vol. 32, 1997, ISBN 0-8218-0680-7, 203 pgs.

`Papers etc.`

G.J. Holzmann,

[link]	*Coordination Problems in Multiprocessing Systems* G.J. Holzmann Ph.D. Thesis, Delft University Press, Delft, The Netherlands, June 1979.




[PDF]7.6Mb	*The Design of Coordination Schemes* G.J. Holzmann Proc. USC ISI Workshop on Concurrency, Idyllwild Calif., March 1980. AT&T Bell Laboratories, CSTR 87, Comp. Sci. Tech. Report, Aug. 1980.




[PDF]	*PAN - A Protocol Specification Analyzer* G.J. Holzmann AT&T Bell Laboratories, Technical Memorandum TM81-11271-5, 1981.




	*An Algebra for Protocol Validation* G.J. Holzmann Proc. 1st Int. Conf on Protocol Specification Testing and Verification, INWG IFIP, Ed. C. Sunshine and D. Rayner, pp. 377-391, England, May 1981.




[PDF]5.7Mb	*The Problem of the Leidsestraat - An Exercise in Process Coordination* G.J. Holzmann AVS Laboratory, Report #36, Delft University, August 1981.




	*Coordinatie - een net van betrouwbare processors* G.J. Holzmann De Ingenieur, Vol. 93, No. 43, Oct. 1981 (in Dutch).




	*Algebraic Validation Methods - A Comparison of Three Techniques* G.J. Holzmann Proc. 2nd Int. Conf on Protocol Specification Testing and Verification, INWG IFIP, Ed. C. Sunshine, pp. 383-391, North-Holland Publ., Idyllwild, CA, May 1982.




	*Concise Description of a Protocol Validation Algebra* G.J. Holzmann AVS Laboratory, Report #38, Delft University, June 1982.




[PDF]	*A Theory for Protocol Validation* G.J. Holzmann IEEE Transactions on Computers, Vol. C-31, 8, pp. 730-738, August 1982.




	*Communicatie Protocollen - ontwerp analyse en standaardisatie* G.J. Holzmann Informatie, Vol. 25, 1, pp. 5-11, January 1983, (in Dutch).




[PDF]	*The PANDORA Protocol Development System* G.J. Holzmann and R. A. Beukers Proc. 3rd Int. Conf on Protocol Specification Testing and Verification, INWG IFIP, Ed. H. Rudin and C. West, pp. 357-369, North Holland Publ., Zurich, Switzerland, June 1983.




[PDF]	*Protocol Analysis on the PANDORA System: Four Examples* G.J. Holzmann AVS Laboratory, Report #45, Delft University, September 1983.




[jpg]	*Systeem Krakers - Spelen Met de Computer* G.J. Holzmann NRC Handelsblad, Science Supplement, Sept. 1983, (in Dutch).




[PDF]	*The Unix Magician s Handbook - a review of The Unix Programming Environment* G.J. Holzmann Unix: Login, 1984.




	*PANDORA - An Interactive System for the Design of Data Communication Protocols* G.J. Holzmann Computer Networks, Vol. 8, No. 2, pp. 71-81, April 1984.




[PDF]	*Backward Symbolic Execution of Protocols* G.J. Holzmann Proc. 4th Int. Conf on Protocol Specification Testing and Verification, INWG IFIP, Ed. Y. Yemini, pp. 19-30, North Holland Publ. Co., Skytop PA USA, June 1984.




[PDF]	*Tracing Protocols* G.J. Holzmann AT&T Technical Journal, Vol. 64, No. 10, pp. 2413-2433, December 1985. (reprinted in: Current advances in distributed computation, Computer Science Press, 1986.)




[PDF]	*Trace: Performance Measurements* G.J. Holzmann AT&T Bell Labs Technical Memorandum TM 850101-01, January 1985.




[PDF]	*Automated protocol validation in Argos assertion proving and scatter searching* G.J. Holzmann IEEE Transactions on Software Engineering, Vol. SE-13, No. 6, pp. 683-696, June 1986.




[PDF]	*On the algebraic synthesis of protocols* G.J. Holzmann AT&T Bell Labs Technical Memorandum, TM 11271-860609-04, June 1986.




[PDF]	*Protocol Tracing* G.J. Holzmann Computer Networks and Simulation, Vol. III, North Holland Publ. Co, 1986.




[PDF]	*X.21 Analysis Revisited: the Micro Tracer* G.J. Holzmann AT&T Bell Laboratories Technical Memorandum TM 11271-8710230-12, October 1987. (See also microtrace.)




[PDF]	*Exhaustive analysis of a mutual exclusion algorithm* G.J. Holzmann AT&T Bell Laboratories Technical Memorandum TM 11271-870609-08, June 1987.




[PDF]	*Manual for the protocol analyzer Trace* G.J. Holzmann AT&T Bell Laboratories, CSTR 134, Comp. Sci. Tech. Rep. February 1987.




[link]	*Pico - a picture editor* G.J. Holzmann AT&T Technical Journal, Vol. 66, No. 2, pp. 2-13, April 1987.




[PDF]	*On Limits and Possibilities of Automated Protocol Analysis* G.J. Holzmann Proc. 6th Int. Conf on Protocol Specification Testing and Verification INWG IFIP, Ed. H. Rudin and C. West, Zurich Switzerland, June 1987, (Invited paper).




[PDF]	*An Improved Protocol Reachability Analysis Technique* G.J. Holzmann Software Practice Experience, Vol. 18, No. 2, pp. 137-161, February 1988.




[PDF]	*Building a 3D Scanner for $1.99* G.J. Holzmann unpublished draft, January 1988.




[PDF]	*The Digital Darkroom* G.J. Holzmann Proc. SCAN - Small Computers in the Arts Network Conference, November 1988, (invited paper).




	*Digital Photography* G.J. Holzmann American Photographer, January 1989, (invited paper).




[PDF]	*Validating SDL Specifications: An Experiment* G.J. Holzmann and J. Patti Proc. 9th Int. Conf on Protocol Specification Testing and Verification INWG IFIP, Ed. C. Vissers and E. Brinksma, pp. 317-326, Twente Neth., June 1989.




[PDF]	*Algorithms for Automated Protocol Verification* G.J. Holzmann AT&T Technical Journal, Vol. 69, No. 2, pp. 32-44, February 1990. (Special Issue on Protocol Testing Specification and Verification).




[PDF]	*Process Sleep and Wakeup on a Shared-memory Multiprocessor* R. Pike, D. Presotto, K. Thompson, and G.J. Holzmann Proc. of the Spring 1991 EurOpen Conference, pp. 161-166, Tromso, 1991.




[PDF]	*Practical Methods for the Formal Validation of SDL Specifications* G.J. Holzmann Computer Communications, March 1992. (Invited paper - special issue on Practical Uses of FDTs.)




[PDF]	*Protocol Design: Redefining the State of the Art* G.J. Holzmann IEEE Software, pp. 17-22, January 1992. (Invited paper - special issue on Protocol Engineering.)




[PDF]	*Coverage preserving reduction strategies for reachability analysis* G.J. Holzmann, P. Godefroid, and D. Pirottin Proc. 12th Int. Conf on Protocol Specification Testing and Verification, INWG IFIP, Orlando Fl., June 1992.




[PDF]	*Correct design of vehicular control strategies* K. Laraqui and F. Reichert, and G.J. Holzmann Proc 25th ISATA Int. Symp. on Automotive Techn. and Automation, Florence Italy, June 1992.




[PDF]	*Tutorial: Design and Validation of Protocols* G.J. Holzmann Ed. B. Pehrson and B. Jonsson and J. Parrow, Computer Networks and ISDN Systems, Vol. 25, No. 9, pp. 981-1017, 1993. (also in: Proc. 11th PSTV91 INWG IFIP Stockholm Sweden).




[PDF]	*Hype - A Hypertext Browser* G.J. Holzmann AT&T Bell Laboratories Technical Memorandum TM-11271-930909-05, September 1993.




[PDF]	*Standardizing Protocol Interfaces* G.J. Holzmann Software Practice and Experience, Vol. 23, No. 7, pp. 711-731, July 1993.




[PDF]	*On the verification of temporal properties* P. Godefroid and G.J. Holzmann Proc. 13th Int. Conf on Protocol Specification Testing and Verification INWG IFIP, pp. 109-124, Liege Belgium, May 1993.




[link]	*The First Data Networks* G.J. Holzmann and B. Pehrson Scientific American, Vol. 270, No. 1, pp. 124-129, January 1994.




[PDF]	*Data Communications - The First 2500 Years* G.J. Holzmann Proc. IFIP World Computer Congress, Hamburg Germany, August 1994, (Invited paper).




[PDF]	*Protocol Validation* G.J. Holzmann Encyclopedia of Telecommunications. Dekker Publ., pp. 185-194, 1994.




[PDF]	*An Improvement in Formal Verification* G.J. Holzmann and D. Peled Proc. Formal Description Techniques FORTE94, Berne, Switzerland, pp. 197-211, Chapman Hall, Berne, Switzerland, October 1994.




[PDF]	*Proving the Value of Formal Methods* G.J. Holzmann Proc. Formal Description Techniques FORTE94, Berne, Switzerland, October 1994, (invited paper).




[PDF]	*The Theory and Practice of a Formal Method: NewCoRe* G.J. Holzmann Proc. IFIP World Computer Congress, Vol. I, pp. 35-44, Hamburg Germany, August 1994, North-Holland Publ. Amsterdam The Netherlands. (invited paper).




[PDF]	*State space caching revisited* P. Godefroid, G.J. Holzmann, and D. Pirottin Formal Methods in System Design, pp. 1-15, Kluwer, Nov. 1995, (also in: Proc. CAV92, Montreal, Canada).




[english]	*Die optische Telegraphie in England und anderen Landern* G.J. Holzmann Exhibition Catalogue Postal Museum, Frankfurt Germany, May 1995, (invited contribution).




[english]	*Geheimschrift und Zeichensprache* G.J. Holzmann Exhibition Catalogue Postal Museum, Frankfurt Germany, May 1995, (invited contribution).




[link]	*The ties that bound* G.J. Holzmann Inc. Technology, Vol. 17, No. 9, pp. 66-69, June 1995, (column).




[PDF]	*Proving Properties of Concurrent Systems with Spin* G.J. Holzmann Proc. CONCUR95 6th Intern. Conf. on Concurrency Theory, Philadelphia PA., August 1995, (invited tutorial).




[PDF]	*Checking Linear Temporal Lgoic Properties* G.J. Holzmann and D. Peled First SPIN Workshop, Montreal Quebec, 1995, (position paper).




[PDF]	*An Analyzer for Message Sequence Charts* R. Alur, G.J. Holzmann and D. Peled Software Concepts and Tools, Vol. 17, No. 2, pp. 70-77, 1996. (also: Proc. TACAS95 Passau Germany LNCS 1055 pp. 35-48).




[PDF]	*Early Fault Detection Tools* G.J. Holzmann Software Concepts and Tools, Vol. 17, No. 2, pp. 63-69, 1996. (also: Proc. TACAS95 Passau Germany LNCS 1055 pp. 1-13).




[PDF]	*Formal Methods for Early Fault Detection* G.J. Holzmann Proc. FTRTFT Confs. on Formal Techniques for Real-Time and Fault Tolerant Systems, LNCS 1135, pp. 40-54, Uppsala Sweden, September 1996, (invited paper).




[PDF]	*The State of Spin* G.J. Holzmann and D. Peled Proc. 8th Int. Conference on Computer Aided Verification, Springer Verlag, LNCS 1102, pp. 385-389, New Brunswick NJ USA, 1996.




[PDF]	*On Nested Depth First Search* G.J. Holzmann, D. Peled, and M. Yannakakis Proc. of the 2nd Spin Workshop. The Spin Verification System, pp. 23-32, American Mathematical Society, 1996.




[PDF]	*Not Checking for Closure under Stuttering* G.J. Holzmann, and O. Kupferman Proc. of the 2nd Spin Workshop. The Spin Verification System, pp. 17-22, American Mathematical Society, 1996.




[link]	*Formal methods after 15 years: status and trends* J.P. Courtiat, P. Dembinski, G.J. Holzmann, L. Logrippo, Harry Rudin, and Pamela Zave Computer Networks and ISDN Systems, Vol. 28, pp. 1845-1855, 1996. (Position statements of a panel discussion held at FORTE95).




[link]	*Collision Course* G.J. Holzmann Inc. Technology, Vol. 18, No. 4, pp. 57-58, May 1996, (column).




[PDF]	*Designing bug-free protocols with Spin* G.J. Holzmann Computer Communications Journal, Vol. 20, No. 2, pp. 97-105, 1997, (invited paper).




[PDF]	*An internet in the ancient world?* G.J. Holzmann Dragonfly a magazine for young investigators, March-April 1997, pp. 22-24, 1997, (invited).




[PDF]	*Design Tools for Requirements Engineering* G.J. Holzmann, D. Peled, and M.H. Redberg Bell Labs Technical Journal, pp. 86-95, Winter 1997.




[PDF]	*State Compression in Spin* G.J. Holzmann Proc. Third Spin Workshop, Twente University, The Netherlands, April 1997.




[PDF]	*The Model Checker Spin* G.J. Holzmann IEEE Trans. on Software Engineering, Vol. 23, No. 5, pp. 279-295, May 1997. (Special issue on Formal Methods in Software Practice).




[PDF]	*Reliable Design of Concurrent Software* G.J. Holzmann Dr. Dobbs Journal, October 1997.




[link]	*Tales from the Encrypt* G.J. Holzmann Inc. Technology, Vol. 19, No. 17, pp. 168, November 1997, (column).




	*Testing the FormalCheck Query Library* A. Dershowitz, K. Fisler, S. K. Shukla, G.J. Holzmann, R.P. Kurshan, D. Peled Proc. LCET 96, Vol. 14, pp. 173-176, Lucent Technologies, 1997.




[PDF]	*Validating Requirements for Fault Tolerant Systems using Model Checking* F. Schneider S.M. Easterbrook J.R. Callahan and G.J. Holzmann Proc. Int. Conf. on Requirements Engineering ICRE, pp. 4-14, IEEE, Colorado Springs Co. USA, April 1998.




[PDF]	*Designing executable abstractions* G.J. Holzmann Proc. Formal Methods in Software Practice, ACM Press, Clearwater Beach Florida USA, March 1998, (invited keynote address).




[PDF]	*Interval Reduction through Requirements Analysis* G.J. Holzmann, and M.H. Smith Bell Labs Technical Journal, Vol. 3, No. 2, pp. 22-31, 1998.




[link]	*Ports of Call* G.J. Holzmann Inc. Technology, Vol. 20, No. 4, pp. 128, March 1998, (column).




[link]	*Just the Fax* G.J. Holzmann Inc. Technology, Vol. 20, Sept 1998, (column).




[PDF]	*On Checking Model Checkers* G.J. Holzmann Proc. Computer Aided Verification Conference, Springer Verlag, LNCS 1427, pp. pp. 61-70, Vancouver Canada, June 1998, (invited).




[PDF]	*Implementing Statecharts in Promela/Spin* E. Mikk, Y. Lakhnech, M. Siegel, and G.J. Holzmann Proc. Workshop on Industrial-strength Formal specification Techniques, pp. 90-101, Boca Raton Fl. USA, IEEE Computer Society, October 1998.




[PDF]	*An Analysis of Bitstate Hashing* G.J. Holzmann Formal Methods in System Design, Vol. 13, No. 3, pp. 287-305, Kluwer, November 1998. (extended and revised version of Proc. PSTV95 pp. 301-314).




[PDF]	*A Minimized Automaton Representation of Reachable States* G.J. Holzmann and Anuj Puri Software Tools for Technology Transfer, Vol. 2, No. 3, pp. 270-278, Springer, November 1999.




[PDF]	*Automata Based Model Checking* G.J. Holzmann Proc. WIFT98, Boca Raton Fl. USA, October 1998, (invited).




[PDF]	*Hardware and Software Model Checking* G.J. Holzmann and Anuj Puri Proc. ASE98, Honolulu Hawaii USA, October 1998, (invited tutorial).




[PDF]	*A practical method for the verification of event-driven software* G.J. Holzmann and M.H. Smith Proc. ICSE99, pp. 597-607, Los Angeles CA USA, May 1999.




[PDF]	*V-Promela: A Visual Object-Oriented Language for Spin* S. Leue and G.J. Holzmann Proc. Second IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, IEEE Computer Society Press, Saint Malo France, May 1999.




[link]	*Castles in the air* G.J. Holzmann Inc. Technology, Vol. 21, No. 4, pp. 128, May 1999, (column).




[PDF]	*The engineering of a model checker: the Gnu i-protocol case study revisited* G.J. Holzmann Proc. of the 6th Spin Workshop, LNCS 1680, Springer Verlag, Toulouse France, Sept. 1999.




[PDF]	*Software model checking - Extracting verification models from source code* G.J. Holzmann and M.H. Smith Formal Methods for Protocol Engineering and Distributed Systems, pp. 481-497, Kluwer Academic Publ., Oct. 1999, (also in: Software Testing Verification and Reliability Vol. 11 No. 2 June 2001 pp. 65-79).




[link]	*Taking Stock* G.J. Holzmann Inc. Technology, Vol. 21, No. 13, pp. 156, November 1999, (column).




[PDF]	*Software verification at Bell Labs: one line of development* G.J. Holzmann Bell Labs Technical Journal, Vol. 5, No. 1, pp. 35-45, Jan-March 2000. (Bell Labs 75th year anniversary issue).




[PDF]	*Automating software feature verification* G.J. Holzmann and M.H. Smith Bell Labs Technical Journal, Vol. 5, No. 2, pp. 72-87, April-June 2000. (Special Issue on Software Complexity).




[link]	*Outside the box* G.J. Holzmann Inc. Technology, Vol. 22, No. 1, pp. 164, May 2000, (column).




[link]	*Tallying Up* G.J. Holzmann Inc. Technology, Vol. 22, No. 2, pp. 196, July 2000, (column).




[PDF]	*Optimizing Buchi automata* K. Etessami and G.J. Holzmann Proc. CONCUR2000, pp. 153-167, Springer Verlag LNCS 1877, Aug. 2000.




[PDF]	*Logic Verification of ANSI-C Code with Spin* G.J. Holzmann Proc. SPIN2000, pp. 131-147, Springer Verlag LNCS 1885, Sep. 2000.




[link]	*And the credit goes to* G.J. Holzmann Inc. Technology, Vol. 22, No. 3, pp. 176, Sept. 2000, (column).




[link]	*MEMS the word* G.J. Holzmann Inc. Technology, Vol. 22, No. 3, Nov. 2000, (column).




[PDF]	*Software Model Checking* G.J. Holzmann NATO Summer School, Vol. 180, pp. 309-355, IOS Press Computer and System Sciences, Marktoberdorf Germany, Aug. 2000.




[PDF]	*Using Spin* G.J. Holzmann Plan 9 Programmer s Manual Documents, pp. 353-382, Vita Nuova Holdings Ltd, York England. 1st edition 1995, 2nd edition, 2000.




[PDF]	*Events and Constraints a graphical editor for capturing logic properties of programs* M.H. Smith G.J. Holzmann and K. Etessami Proc. 5th International Symposium on Requirements Engineering, pp. 14-22, Toronto Canada, Aug. 2001.




[PDF]	*From Code to Models* G.J. Holzmann Proc. 2nd Int. Conf. on Applications of Concurrency to System Design, pp. 3-10, Newcastle upon Tyne U.K., June 2001.




[PDF]	*Economics of Software Verification* G.J. Holzmann Proc. Workshop on Program Analysis for Software Tools and Engineering, ACM, Snowbird Utah USA, June 2001.




[PDF]	*Using Spin Model Checking for Flight Software Verification* P.R. Gluck and G.J. Holzmann Proc. 2002 Aerospace Conference, IEEE, Big Sky MT USA, March 2002.




[PDF]	*Static source code checking for user-defined properties* G.J. Holzmann Proc. IDPT 2002, Pasadena CA USA, June 2002.




[PDF]	*An automated verification method for distributed systems software based on model extraction* G.J. Holzmann and M.H. Smith IEEE Trans. on Software Engineering, Vol. 28, No. 4, pp. 364-377, April 2002.




[PDF]	*Abstracting C with abC* D. Dams, W. Hesse, and G.J. Holzmann Proc. CAV 2002, Springer Verlag LNCS, Copenhagen Denmark, July 2002.




[PDF]	*Software Analysis and Model Checking* G.J. Holzmann Proc. CAV 2002, Copenhagen Denmark, July 2002.




[PDF]	*The Logic of Bugs* G.J. Holzmann Proc. ACM Foundations of Software Engineering FSE 2002, Charleston SC USA, November 2002.




[PDF]	*Trends in Software Verification* G.J. Holzmann Proc. Formal Methods Europe Conference, Pisa, Italy, Sept. 2003.




[PDF]	*Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking* Yifei Dong, Xiaoqun Du, G.J. Holzmann, S.A. Smolka Software Tools for Technology Transfer, 2003, Vol. 4, No. 4, pp. 505-528.




[PDF]	*Model-Driven Software Verification* G.J. Holzmann and R. Joshi Proc. 11th Spin Workshop, Barcelona, Spain, April 2004, Springer Verlag, LNCS 2989, pp. 77-92.




[PDF]	*Model checking artificial intelligence based planners* M.H. Smith, G. Cucullu, G.J. Holzmann, and B. Smith Proc. 2005 Aerospace Conf., IEEE, Big Sky MT USA, March 2005.




[PDF]	*Improving Spin's partial-order reduction for breadth-first search* D. Bosnacki and G.J. Holzmann Proc. 12th Int. Spin Workshop, San Francisco, August 2005, Springer Verlag, LNCS 3639, pp. 91-105.




[PDF]	*Reliable Software Systems Design* G.J. Holzmann and R. Joshi Proc. Verified Software: Theories, Tools, Experiments, Zurich, Sw., October 2005, Springer Verlag, LNCS 4171, pp. 237-244.




[PDF]	*Software Model Checking with Spin* G.J. Holzmann in: Advances in Computers, Vol. 65, Ed. M. Zelkowitz, Elsevier Publ., Amsterdam, pp.77-108, July 2005.




[PDF] [PDF orig]	*The Power of Ten: Rules for Developing Safety Critical Code* G.J. Holzmann IEEE Computer, June 2006




[abs] [PDF]	*New Challenges in Model Checking* G.J. Holzmann, R. Joshi, A. Groce Proc. Symposium 25 Years of Model Checking, Federated Logic Conference (FLOC), Seattle, August 2006. Publ. LNCS Vol. 5000, pp. 65-76, 2008.




[PDF] [link]	*Multi-core model checking with Spin* G.J. Holzmann and Dragan Bosnacki Proc. HIPS-TopModels 2007, Long Beach, March 26-30, 2007, (short paper)




[PDF]	*A mini challenge: build a verifiable filesystem* R. Joshi and G.J. Holzmann Proc. Verified Software: Theories, Tools, Experiments, Zurich, Sw., October 2005, Springer Verlag, LNCS 4171, pp. 49-56. also in: Formal Aspects of Computing, 2007, Vol. 19, 4 pgs.




[slides] [link]	*The Design of a multi-core extension of the Spin Model Checker* G.J. Holzmann and Dragan Bosnacki (first presented at: Formal Methods in Computer Aided Design (FMCAD), San Jose, November 2006.) IEEE Trans. on Software Engineering, Vol. 33, No. 10, pp. 659-674, October 2007.




[PDF]	*Randomized differential testing as a prelude to formal verification* A. Groce, G.J. Holzmann, R. Joshi Proc. ICSE 2007, Minneapolis, US, May 20-26, 2007.




[PDF] [link]	*A Stack-Slicing Algorithm for Multi-Core Model Checking* Proc. PDMC 2007, Berlin, July 8, 2007. (also in Electronic Notes in Theoretical Computer Science, 2008)




[PDF]	*Conquering Complexity* G.J. Holzmann IEEE Computer, December 2007.




	*Automated testing of planning models* K. Havelund, A. Groce, G.J. Holzmann, R. Joshi, M. Smith Proc. Workshop on Model Checking and Artificial Intelligence, Patras, Greece, July 2008.




	*Putting flight software through the paces with testing, model checking, and constraint solving* A. Groce, R. Joshi, R. Xu, G.J. Holzmann Proc. Int. Workshop on Constraints in Formal Verification, Sydney, Australia, August 2008.




[PDF]	*Tackling large verification problems with the Swarm tool* G.J. Holzmann, R. Joshi, A. Groce 15th Spin Workshop, UCLA, Los Angeles, August 2008, LNCS 5156.




	*Swarm Verification* G.J. Holzmann, R. Joshi, A. Groce Proc. ASE 2008, 23rd IEEE/ACM Int. Conf. on Automated Software Engineering, l'Aquila, Italy, Sept. 2008.

Return to home page.
Page last modified: 27 July 2008.