Work

Model checking large software specifications

Year: 1996

Type: article

Source: ACM SIGSOFT Software Engineering Notes

DOI: 10.1145/250707.239127

Authors: Richard J. Anderson, Paul Beame, Steve Burns, William Chan, Francesmary Modugno, David Notkin, Jon D. Reese

Institution: University of Washington

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4255965913

FWCI: 4.116

Cites: 15

Cited by: 23

Related to: 10