Erinevus lehekülje "Software Synthesis and Verification" redaktsioonide vahel

Allikas: Kursused
Mine navigeerimisribale Mine otsikasti
43. rida: 43. rida:
  
 
== Exercises==
 
== Exercises==
* Exercises 1: Model checking (explicit and symbolic state)
+
* [[Media:Exercises1.pdf|Exercises 1]]: Model checking (explicit and symbolic state)
  
 
==Resources==
 
==Resources==
 
* [http://www.fmeurope.org/ Formal Methods Europe]
 
* [http://www.fmeurope.org/ Formal Methods Europe]

Redaktsioon: 6. märts 2015, kell 07:35

Course code: ITI0130, ITI8530
Link: http://courses.cs.ttu.ee/pages/ITI0130

Lecturer: prof. Jüri Vain
Contact: juri.vain ätt ttu.ee, ICT-418

Previous courses: 2014


Time and place

Lectures: Wednesdays 14:00, ICT-A1
Labs: Wednesdays 16:00, ICT-401 - Evelin Halling (evelin.halling ätt ttu.ee)

News 2015


Lecture notes

Labs

Exercises

  • Exercises 1: Model checking (explicit and symbolic state)

Resources