Automated Testing of Planning Models Klaus Havelund, Alex Groce, Gerard Holzmann, Rajeev Joshi, Margaret Smith Jet Propulsion Laboratory? , California Institute of Technology 4800 Oak Grove Drive, Pasadena Los Angeles, C - Gerard - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2010-09-11 18:31:15 Model checkers Promela Computing Model checking SPIN model checker Gerard J. Holzmann Modeling language Mars Exploration Rover Economic model Theoretical computer science Notation		Automated Testing of Planning Models Klaus Havelund, Alex Groce, Gerard Holzmann, Rajeev Joshi, Margaret Smith Jet Propulsion Laboratory? , California Institute of Technology 4800 Oak Grove Drive, Pasadena/Los Angeles, C Add to Reading List Source URL: rjoshi.org Download Document from Source Website File Size: 280,97 KB Share Document on Facebook

	Alloy Modeling Language meets SMT-LIB Forrest Cinelli, Kyle McCormick, Dan Dougherty WPI NSF Supportand DocID: 1xTzu - View Document
	Modelica - A Unified Object-Oriented Language for Physical Systems Modeling Version 3.2 Revision 2 DocID: 1vr0B - View Document
	CLUF: a Neural Model for Second Language Acquisition Modeling Shuyao Xu Singsound Inc. Beijing, China DocID: 1voe8 - View Document
	Inflectional Language Modeling with Random Forests for ASR Ilya Oparin Dept. of Computer Science and Ingineering, University of West Bohemia, Plzeˇn, Czech Republic, Speech Technology Center, St.Petersburg, Russia DocID: 1vlFq - View Document
	ModelicaTM - A Unified Object-Oriented Language for Physical Systems Modeling TUTORIAL and RATIONALE Version 1.1 December 15, 1998 H. Elmqvist1, DocID: 1vkNs - View Document