Work

Approximations for fixpoint computations in symbolic model chec king

Year: 2000

Type: article

Authors: Roderick Bloem, In-Ho Moon, Kavita Ravi, Fabio Somenzi

Institutions: University of Colorado Boulder, Cadence Design Systems (United States)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W7357918

FWCI: 0.448

Cites: 27

Cited by: 3

Related to: 10