First Page | Document Content | |
---|---|---|
Date: 2010-09-11 18:27:55Theoretical computer science Information retrieval Information science Model checkers Hashing Model checking Ith SPIN model checker Bitstate hashing Cryptographic hash function Correctness Applied mathematics | IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex GroceAdd to Reading ListSource URL: rjoshi.orgDownload Document from Source WebsiteFile Size: 247,13 KBShare Document on Facebook |