PKind: A parallel k-induction based model checker

by Temesghen Kahsai, Cesare Tinelli
Published 2011-10-01

Synthesizing Modular Invariants for Synchronous Code

by Pierre-Loic Garoche, Arie Gurfinkel, Temesghen Kahsai
Published 2014-12-01

Hierarchical State Machines as Modular Horn Clauses

by Pierre-Loïc Garoche, Temesghen Kahsai, Xavier Thirioux
Published 2016-07-01