Computer Aided Verification

DOI10.1007/B138445MaRDI QIDQ5716552zbMATH OpenOpenAlexFDO

Authors Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau

Publication date 10 January 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b138445

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2080188
• scientific article; zbMATH DE number 1633145
• scientific article; zbMATH DE number 910719
• scientific article; zbMATH DE number 1487860
• Model checking: from hardware to software.

Cited in

(3)

• A model checking-based approach for security policy verification of mobile systems
• Verification of evolving software via component substitutability analysis
• Three optimizations for assume-guarantee reasoning with \(L^{*}\)

Describes a project that uses

Uses Software

• ComFoRT

This page was built for publication: Computer Aided Verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5716552)