Efficient Proof Engines for Bounded Model Checking of Hybrid Systems
Keywords: تایید; verification; bounded model checking; hybrid systems; infinite-state systems; decision procedures; satisfiability;