Other presentations

  1. SAT-based Verification for Abstraction Refinement

    In this talk, I will present the fundamental results of my master's thesis. The aim of the thesis has been to verify reachability properties of timed automata using SAT-based verification methods, while mainly eliminating the state explosion problem using abstraction refinement techniques. Especially for complex and safety critical systems, reachability …

    read more

Page 1 / 1

hosted by