Login / Signup

Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482).

Jörg KreikerAndrzej TarleckiMoshe Y. VardiReinhard Wilhelm
Published in: Dagstuhl Manifestos (2011)
Keyphrases
  • formal methods
  • formal analysis
  • model checking
  • artificial intelligence
  • model checker
  • reactive systems
  • colored petri nets
  • machine learning
  • case study
  • multi agent systems
  • fine grained
  • selected papers