First Page | Document Content | |
---|---|---|
Date: 2013-06-18 10:17:21Logic in computer science Theoretical computer science Usability Verification Software development process Computer science Technology Formal methods Science Formal verification | Garakabu2: A Formal Verification Tool for ZIPC Weiqiang Kong, Kyushu University, Japan [Jointly developed by] Fukuoka IST & CATS Co. Ltd. & Kyushu University of JapanAdd to Reading ListSource URL: fm2012.cnam.frDownload Document from Source WebsiteFile Size: 644,26 KBShare Document on Facebook |