NUSMV: a new symbolic model checker (2000)

Cached

Download Links

by A. Cimatti , E. Clarke , F. Giunchiglia , M. Roveri
Venue:International Journal on Software Tools for Technology Transfer
Citations:108 - 16 self