Work

Beyond safety: customized SAT-based model checking

Year: 2005

Type: conference-paper

Source: ACM/IEEE Design Automation Conference (DAC)

DOI: 10.1109/dac.2005.193909

Authors: M.K. Ganai, A. Gupta, P. Ashar

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4236513166

FWCI:

Cites: 19

Cited by: 1

Related to: 10