Concurrent Bounded Model Checking

9 years ago 689 Views

Symbolic Execution as DPLL Modulo Theories

9 years ago 454 Views

Self-composition by Symbolic Execution

10 years ago 319 Views

Symbolic Quantitative Information Flow

11 years ago 328 Views