Conversación con Fernando García par Carlos Silva V

Accéder au texte intégral

Tales from Verification History par D'Silva, V

Propositional Interpolation and Abstract Interpretation par D'Silva, V

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

A Portuguese version of the Christo Inventory for Substance-Misuse Services: a simple outcome evaluation tool par Christo G., Silva V.A.

Accéder au texte intégral

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

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

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

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

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

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

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

Role of Aducanumab in the Treatment of Alzheimer’s Disease: Challenges and Opportunities par Vaz M, Silva V, Monteiro C, Silvestre S

Accéder au texte intégral

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

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

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

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

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

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

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