![Software engineering / Theoretical computer science / Formal methods / Systems engineering / Software / Logic in computer science / Software testing / Formal verification / Functional verification / Verification and validation / Verification / Model checking Software engineering / Theoretical computer science / Formal methods / Systems engineering / Software / Logic in computer science / Software testing / Formal verification / Functional verification / Verification and validation / Verification / Model checking](https://www.pdfsearch.io/img/b5a641c56340555598c2159dc5b6e824.jpg) Date: 2016-08-09 05:22:44Software engineering Theoretical computer science Formal methods Systems engineering Software Logic in computer science Software testing Formal verification Functional verification Verification and validation Verification Model checking | | Verification-Cases: Characterizing the Completeness Degree of Incomplete Verification for C Programs Towards Using Formal Verification for Low Criticality Functions Daniel Ratiu Vincent NimalAdd to Reading ListSource URL: mbeddr.comDownload Document from Source Website File Size: 257,28 KBShare Document on Facebook
|