Login / Signup
Proof assisted bounded and unbounded symbolic model checking of software and system models.
Sebastian Krings
Michael 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