Formal Methods (1) PDF Print
Formal Methods: Theory And Practice (1) - 17th International School for Computer Science Researchers (first week), Lipari Island, Italy, July 2005
  • Modeling and analysis of Hybrid and Embedded Systems - Prof. Rajeev Alur
  • Abstraction in Model Checking - Prof. Edmund M. Clarke
  • The Automata-Theoretic Approach to Verification - Prof. Moshe Vardi
  • Model Checking for Nominal Calculi - Prof. Ugo Montanari (Special Guest Speaker)
 
< Prev   Next >
[ Back ]