Work

Compositional Reasoning in Model Checking

Year: 1998

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/3-540-49213-5_4

Authors: Sergey Berezin, Sérgio Campos, Edmund M. Clarke

Institutions: Carnegie Mellon University, Universidade Federal de Minas Gerais

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2142634894

FWCI: 0.296

Cites: 30

Cited by: 81

Related to: 10