Joseph Sifakis

Joseph.Sifakis@imag.fr
Tel: (+33) 457 42 22 44

Photo
 
Contributions to Tools
Joseph Sifakis
  • BIP toolset
  • IF toolset
  • Kronos
  • CADP
  • TGV
  • XESAR (1985-87): Model-checker for the Estelle ISO standard for communication protocols.
  • CESAR (1980-82): The first model-checker developed by Jean-Pierre Queille