First Page | Document Content | |
---|---|---|
![]() Date: 2010-11-11 10:23:46Formal methods Logic in computer science Theoretical computer science Systems engineering Formal verification Model checking Satisfiability modulo theories Verification Correctness Software verification |
|