Work

SAT-Based Summarization for Boolean Programs

Year: 2007

Type: conference-paper

Source: Springer eBooks

Parent work: Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings

DOI: 10.1007/978-3-540-73370-6_10

Authors: Gérard Basler, Daniel Kroening, Georg Weissenbacher

Institution: ETH Zurich

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W50590539

FWCI: 1.411

Cites: 38

Cited by: 13

Related to: 10