Parametric model checking

Dr. Kenneth Johnson recently presented his work on Parametric model checking at University of Waikato. This presentation was based on a paper titled “Efficient Parametric Model Checking Using Domain Knowledge” published in IEEE Transactions on Software Engineering.