no code implementations • 2 Feb 2021 • Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
Parametric model checking (PMC) computes algebraic formulae that express key non-functional properties of a system (reliability, performance, etc.)
Software Engineering Formal Languages and Automata Theory Robotics