First Page | Document Content | |
---|---|---|
Date: 2010-09-11 18:26:03Model checkers Software engineering Theoretical computer science Formal methods C C++ Sizeof Model checking Promela Abstraction Computing Abstract interpretation | Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove DriveAdd to Reading ListSource URL: rjoshi.orgDownload Document from Source WebsiteFile Size: 119,39 KBShare Document on Facebook |