First Page | Document Content | |
---|---|---|
![]() Date: 2009-08-25 03:10:48Logic Mathematical logic Theoretical computer science Temporal logic Model checkers Linear temporal logic NuSMV Model checking Concurrency Finite model theory Planning Domain Definition Language SMV | Add to Reading List |