DMCA

Simultaneous SAT-Based Model Checking of Safety Properties

by Zurab Khasidashvili , Er Nadel , Amit Palti , Ziyad Hanna
Citations:3 - 1 self