Login / Signup

Proof assisted bounded and unbounded symbolic model checking of software and system models.

Sebastian KringsMichael Leuschel
Published in: Sci. Comput. Program. (2018)
Keyphrases
  • symbolic model checking
  • machine learning
  • probabilistic model
  • software development
  • model checking
  • software architecture
  • symbolic representation
  • conformant planning