First Page | Document Content | |
---|---|---|
![]() Date: 2004-10-28 09:30:27Theoretical computer science Logic Mathematical logic Formal methods Logic in computer science Boolean algebra Hardware verification languages Model checking Temporal logic Formal verification Propositional calculus E | Add to Reading List |