Speaker
Dr
Otmane Ait Mohamed
(University Concordia)
Description
In this talk, we will be discussed 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.
Primary author
Dr
Otmane Ait Mohamed
(University Concordia)
