Search Results for author: Faisal Alhwikem

Found 1 papers, 0 papers with code

Fast Parametric Model Checking through Model Fragmentation

no code implementations2 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

Cannot find the paper you are looking for? You can Submit a new open access paper.