EECI 2013: Automata Theory - Revision history

Murray at 01:15, 25 January 2018

2018-01-25T01:15:50Z

← Older revision		Revision as of 01:15, 25 January 2018
Line 9:		Line 9:
	* <p>[http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=11481 Principles of Model Checking], C. Baier and J.-P. Katoen, The MIT Press, 2008. A detailed reference on model checking. Early chapters provide an exposition to automata theory. Slides for this lecture follow this reference. </p>		* <p>[http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=11481 Principles of Model Checking], C. Baier and J.-P. Katoen, The MIT Press, 2008. A detailed reference on model checking. Early chapters provide an exposition to automata theory. Slides for this lecture follow this reference. </p>
	* <p>[http://www.amazon.com/Introduction-Theory-Computation-Michael-Sipser/dp/053494728X Introduction to the Theory of Computation], M. Sipser, PWS Publishing Company, 1997. This is a textbook on theory of computation covering preliminaries in automata theory. </p>		* <p>[http://www.amazon.com/Introduction-Theory-Computation-Michael-Sipser/dp/053494728X Introduction to the Theory of Computation], M. Sipser, PWS Publishing Company, 1997. This is a textbook on theory of computation covering preliminaries in automata theory. </p>
	* <p> [http://software.imdea.org/people/pavithra.prabhakar/hscourse2012.html CDS 270: Verification of Hybrid Systems]: The first few lectures of this course taught in Spring 2012 covered the material in this lecture. There are brief lecture notes and exercises.		* <p> [http://software.imdea.org/people/pavithra.prabhakar/hscourse2012.html CDS 270: Verification of Hybrid Systems]: The first few lectures of this course taught in Spring 2012 covered the material in this lecture. There are brief lecture notes and exercises.</p>
	* <p> [http://www.cds.caltech.edu/~utopcu/VerInCtrl/VerInCtrl.html CDS 270: Verification in Controls]: The second half of the course taught in Fall 2009 at Caltech also covered the material in this lecture. There are brief lecture notes and exercises.		* <p> [http://www.cds.caltech.edu/~utopcu/VerInCtrl/VerInCtrl.html CDS 270: Verification in Controls]: The second half of the course taught in Fall 2009 at Caltech also covered the material in this lecture. There are brief lecture notes and exercises.

Murray: /* Lecture Materials */

2014-03-02T18:01:24Z

Lecture Materials

← Older revision		Revision as of 18:01, 2 March 2014
Line 4:		Line 4:

	== Lecture Materials ==		== Lecture Materials ==
	* Lecture slides: [http://www.cds.caltech.edu/~~~utopcu~~/~~eeci13~~/L2_automata-~~theory-2013~~.pdf Automata Theory] (presentation and notation follow that in "Principles of Model Checking" chapters 2.1, 2.2, 3.2-3.4 by Baier and Katoen.)		* Lecture slides: [http://www.cds.caltech.edu/~murray/courses/eeci-sp13/L2_automata-18Mar13.pdf Automata Theory] (presentation and notation follow that in "Principles of Model Checking" chapters 2.1, 2.2, 3.2-3.4 by Baier and Katoen.)

	== Further Reading ==		== Further Reading ==

Murray: /* Further Reading */

2013-03-18T09:55:32Z

Further Reading

← Older revision		Revision as of 09:55, 18 March 2013
Line 9:		Line 9:
	* <p>[http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=11481 Principles of Model Checking], C. Baier and J.-P. Katoen, The MIT Press, 2008. A detailed reference on model checking. Early chapters provide an exposition to automata theory. Slides for this lecture follow this reference. </p>		* <p>[http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=11481 Principles of Model Checking], C. Baier and J.-P. Katoen, The MIT Press, 2008. A detailed reference on model checking. Early chapters provide an exposition to automata theory. Slides for this lecture follow this reference. </p>
	* <p>[http://www.amazon.com/Introduction-Theory-Computation-Michael-Sipser/dp/053494728X Introduction to the Theory of Computation], M. Sipser, PWS Publishing Company, 1997. This is a textbook on theory of computation covering preliminaries in automata theory. </p>		* <p>[http://www.amazon.com/Introduction-Theory-Computation-Michael-Sipser/dp/053494728X Introduction to the Theory of Computation], M. Sipser, PWS Publishing Company, 1997. This is a textbook on theory of computation covering preliminaries in automata theory. </p>
			* <p> [http://software.imdea.org/people/pavithra.prabhakar/hscourse2012.html CDS 270: Verification of Hybrid Systems]: The first few lectures of this course taught in Spring 2012 covered the material in this lecture. There are brief lecture notes and exercises.
	* <p> [http://www.cds.caltech.edu/~utopcu/VerInCtrl/VerInCtrl.html CDS 270: Verification in Controls]: The second half of the course taught in Fall 2009 at Caltech also covered the material in this lecture. There are brief lecture notes and exercises.		* <p> [http://www.cds.caltech.edu/~utopcu/VerInCtrl/VerInCtrl.html CDS 270: Verification in Controls]: The second half of the course taught in Fall 2009 at Caltech also covered the material in this lecture. There are brief lecture notes and exercises.

Utopcu: /* Lecture Materials */

2013-03-16T08:38:26Z

Lecture Materials

← Older revision		Revision as of 08:38, 16 March 2013
Line 4:		Line 4:

	== Lecture Materials ==		== Lecture Materials ==
	* Lecture slides: [http://www.cds.caltech.edu/~~~murray~~/~~courses~~/~~eeci~~-~~sp13/L3_automata_theory~~-~~18Mar13~~.pdf Automata Theory] (presentation and notation follow that in "Principles of Model Checking" chapters 2.1, 2.2, 3.2-3.4 by Baier and Katoen.)		* Lecture slides: [http://www.cds.caltech.edu/~utopcu/eeci13/L2_automata-theory-2013.pdf Automata Theory] (presentation and notation follow that in "Principles of Model Checking" chapters 2.1, 2.2, 3.2-3.4 by Baier and Katoen.)

	== Further Reading ==		== Further Reading ==

Murray: Created page with "{{eeci-sp13 header|prev=Introduction |next=Temporal Logic}} This lecture gives an introduction to some concepts and tools in computer science that are used in the remainder o..."

2013-03-11T04:10:44Z

Created page with "{{eeci-sp13 header|prev=Introduction |next=Temporal Logic}} This lecture gives an introduction to some concepts and tools in computer science that are used in the remainder o..."

New page

{{eeci-sp13 header|prev=Introduction |next=Temporal Logic}}

This lecture gives an introduction to some concepts and tools in computer science that are used in the remainder of the course. We start with finite transition systems as a mathematical model to describe behavior of systems with finite, discrete states. We use linear-time properties serve as the specification language (e.g., to specify safety or liveness properties) and we discuss the preliminaries that lead to model checking, a commonly used, powerful verification tool.

== Lecture Materials ==
* Lecture slides: [http://www.cds.caltech.edu/~murray/courses/eeci-sp13/L3_automata_theory-18Mar13.pdf Automata Theory] (presentation and notation follow that in "Principles of Model Checking" chapters 2.1, 2.2, 3.2-3.4 by Baier and Katoen.)

== Further Reading ==
* [http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=11481 Principles of Model Checking], C. Baier and J.-P. Katoen, The MIT Press, 2008. A detailed reference on model checking. Early chapters provide an exposition to automata theory. Slides for this lecture follow this reference. 
* [http://www.amazon.com/Introduction-Theory-Computation-Michael-Sipser/dp/053494728X Introduction to the Theory of Computation], M. Sipser, PWS Publishing Company, 1997. This is a textbook on theory of computation covering preliminaries in automata theory. 
* [http://www.cds.caltech.edu/~utopcu/VerInCtrl/VerInCtrl.html CDS 270: Verification in Controls]: The second half of the course taught in Fall 2009 at Caltech also covered the material in this lecture. There are brief lecture notes and exercises.