Tales from Verification History by D'Silva, V

Propositional Interpolation and Abstract Interpretation by D'Silva, V

A lazy approach to symmetry reduction by Wahl, T, D'Silva, V

Fixed points for multi-cycle path detection by D'Silva, V, Kroening, D

Abstraction of Syntax by D'Silva, V, Kroening, D

Fixed Points in Multi−Cycle Path Detection by D'Silva, V, Kroening, D

Existential abstractions for distributed reactive systems via syntactic transformations by D'Silva, V, Sonalkar, S, Ramesh, S

Synchronous protocol automata: a framework for modelling and verification of SoC communication architectures by D'Silva, V, Ramesh, S, Sowmya, A

Bridge Over Troubled Wrappers: Automated Interface Synthesis by D'Silva, V, Ramesh, S, Sowmya, A

Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures by D'Silva, V, Ramesh, S, Sowmya, A

Satisfiability Solvers are Static Analysers by D'Silva, V, Haller, L, Kroening, D

Logical abstract interpretation by D'Silva, V, Vijay Victor D'Silva

Abstract Conflict Driven Learning by D'Silva, V, Haller, L, Kroening, D

Approximation Refinement for Interpolation−Based Model Checking by D'Silva, V, Purandare, M, Kroening, D

Abstract conflict driven learning. by D'Silva, V, Haller, L, Kroening, D

A survey of automated techniques for formal software verification by D'Silva, V, Kroening, D, Weissenbacher, G

Approximation Refinement for Interpolation−Based Model Checking by D'Silva, V, Purandare, M, Kroening, D

A Survey of Automated Techniques for Formal Software Verification. by D'Silva, V, Kroening, D, Weissenbacher, G

Satisfiability solvers are static analysers by D'Silva, V, Haller, L, Kroening, D

A Survey of Automated Techniques for Formal Software Verification by D'Silva, V, Kroening, D, Weissenbacher, G