Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
lat [2011/03/01 20:53] jobstman |
lat [2012/01/09 15:24] (current) radu.iosif |
||
|---|---|---|---|
| Line 38: | Line 38: | ||
| - The Gastex Package for Latex : http://www.lsv.ens-cachan.fr/~gastin/gastex/gastex.html | - The Gastex Package for Latex : http://www.lsv.ens-cachan.fr/~gastin/gastex/gastex.html | ||
| - GAVS+: An Open Platform for the Research of Algorithmic Game Solving: http://www6.in.tum.de/~chengch/gavs/ | - GAVS+: An Open Platform for the Research of Algorithmic Game Solving: http://www6.in.tum.de/~chengch/gavs/ | ||
| + | |||
| + | ===== ENS Lyon Course on Automata-Theoretic Model Checking ===== | ||
| + | |||
| + | [[http://www.ens-lyon.fr/DI/?p=2320|ER01 : vérification et certification du logiciel]] | ||
| + | |||
| + | **Slides** | ||
| + | - First part: {{:mc1.pdf|mc1.pdf}} | ||
| + | - Second part: {{:mc2.pdf|mc2.pdf}} | ||
| + | - Related software: http://www-verimag.imag.fr/~iosif/jcat | ||
| ===== Ecole Doctorale Grenoble ===== | ===== Ecole Doctorale Grenoble ===== | ||
| + | |||
| + | [[http://edmstii.ujf-grenoble.fr/|Ecole Doctorale Mathématiques, Sciences et Technologies de l'Information, Informatique]] | ||
| **Slides for lectures on game theory** (23/11/2010 and 30/11/2010) | **Slides for lectures on game theory** (23/11/2010 and 30/11/2010) | ||
| Line 45: | Line 56: | ||
| - //Tuesday//, 30/11/2010, [[http://www-verimag.imag.fr/~jobstman/teaching/LAT2011/4_parity.pdf|Parity Games]], [[http://www-verimag.imag.fr/~jobstman/teaching/LAT2011/5_games_and_trees.pdf|Relationship between Games and Tree Automata]] | - //Tuesday//, 30/11/2010, [[http://www-verimag.imag.fr/~jobstman/teaching/LAT2011/4_parity.pdf|Parity Games]], [[http://www-verimag.imag.fr/~jobstman/teaching/LAT2011/5_games_and_trees.pdf|Relationship between Games and Tree Automata]] | ||
| - | ===== SNBS ===== | + | ===== SNSB Bucharest ===== |
| [[http://www.imar.ro/~purice/SNS/homepage/index_eng.php3|Scoala Normala Superioara Bucharest (SNSB)]] | [[http://www.imar.ro/~purice/SNS/homepage/index_eng.php3|Scoala Normala Superioara Bucharest (SNSB)]] | ||