Speaker
Otmane Ait Mohamed
(Concordia University)
Description
In this talk, we will be discussing the practical use of formal based techniques, such as SAT, SMT and probabilistic model checker to analyze SEEs at logical and higher abstraction levels. Through examples, we will illustrate each approach and its benefits.
