BMC 2004 Preliminary Version SAT-based Induction for Temporal Safety Properties
Type: article
Authors: Roy Armoni A, Limor Fix A, Ranan Fraer A, Scott Huddleston B, Nir Piterman A, Moshe Y. Vardi C
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W7097176902