Software model checking takes off

Steven P. Miller, Michael W Whalen, Darren Cofer

Research output: Contribution to journal › Article › peer-review

OpenUrl availability

@article{6c3ebc1858204838a3f64672f111ce65,

title = "Software model checking takes off",

author = "Miller, {Steven P.} and Whalen, {Michael W} and Darren Cofer",

year = "2010",

language = "Undefined/Unknown",

volume = "53",

pages = "58--64",

journal = "Communications of the ACM",

issn = "0001-0782",

publisher = "ACM",

number = "2",

}