First Page | Document Content | |
---|---|---|
Date: 2002-07-09 12:35:04Applied mathematics Formal methods Software Logic in computer science Model checking Electronic design automation Boolean algebra Boolean satisfiability problem Linear temporal logic Model checkers Theoretical computer science NuSMV | NuSMV 2: An OpenSource Tool for Symbolic Model CheckingAdd to Reading ListSource URL: nusmv.fbk.euDownload Document from Source WebsiteFile Size: 54,18 KBShare Document on Facebook |