First Page | Document Content | |
---|---|---|
![]() Date: 2018-10-25 12:43:22Software engineering Theoretical computer science Computing Formal methods Logic in computer science Software testing Electronic design automation Formal verification Abstract interpretation KeY Satisfiability modulo theories Model checking | Add to Reading List |