Using model checking for system verification

MaRDI QIDQ2744198zbMATH OpenFDO

Authors Monika Maidl

Publication date 19 September 2001

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Using model checking for system verification

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