First Page | Document Content | |
---|---|---|
Date: 2014-09-09 10:41:44Software engineering Software testing Temporal logic SPIN model checker ALGOL 68 Computing Formal methods Model theory Model checkers Programming language theory Model checking | Issue in Software Testing with Model CheckersAdd to Reading ListSource URL: csrc.nist.govDownload Document from Source WebsiteFile Size: 40,08 KBShare Document on Facebook |