Cover Image
QR Code

Model Checking: Algorithmic Verification and Debugging.

The authors discuss their formulation of the process of model checking and its historical background. Mathematical logic is used in model checking to confirm that computer program behavior conforms to the correct specifications. While the Floyd-Hoare style deductive verification method was used sinc...

Full description

Published in:Communications of the ACM Vol. 52; no. 11; pp. 75 - 85
Main Authors: Clarke, Edmund M., Emerson, E. Allen, Sifakis, Joseph
Format: Article
Published: Association for Computing Machinery Nov2009
Subjects:
Software verification
Computer software correctness
Technical specifications
Philosophy of mathematics
Debugging
Computer software testing
History
Online Access:View this record in EBSCOhost

Internet

View this record in EBSCOhost