First Page | Document Content | |
---|---|---|
![]() Date: 2014-07-17 11:43:19Computing Software engineering Software Formal methods Theoretical computer science Model checkers Logic in computer science Java Pathfinder Model checking Formal verification Promela Abstract interpretation | Source URL: www.havelund.comDownload Document from Source WebsiteFile Size: 144,53 KBShare Document on Facebook |