Paco A. Lagerstrom Lecture Graduate Aerospace Laboratories of the California Institute of Technology The Interplay of the Concrete and General: from Mathematics to the Brain The need to solve a concrete problem of physic

First Page		Document Content
Date: 2014-05-19 19:54:52 Knowledge Education Paco Lagerstrom Julian Cole Guggenheim Aeronautical Laboratory Applied mathematics California Institute of Technology Theodore Y. Wu Academia Athanassios S. Fokas Guggenheim Fellows		Paco A. Lagerstrom Lecture Graduate Aerospace Laboratories of the California Institute of Technology The Interplay of the Concrete and General: from Mathematics to the Brain The need to solve a concrete problem of physic Add to Reading List Source URL: www.galcit.caltech.edu Download Document from Source Website File Size: 419,19 KB Share Document on Facebook

	Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive DocID: 1xVIA - View Document
	Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA DocID: 1xVrl - View Document
	Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology DocID: 1xVnS - View Document
	Randomized Differential Testing as a Prelude to Formal Verification Alex Groce, Gerard Holzmann, and Rajeev Joshi Laboratory for Reliable Software ∗ Jet Propulsion Laboratory California Institute of Technology Pasadena DocID: 1xVf0 - View Document
	Swarm Verification 1 Gerard J. Holzmann, Rajeev Joshi, Alex Groce Jet Propulsion Laboratory, California Institute of Technology Abstract DocID: 1xUKZ - View Document