Search filters

List of works by João Marques Silva

Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking

On Computing Minimal Equivalent Subformulas

scientific article published in 2012

On Deciding MUS Membership with QBF

scientific article published in 2011

On the query complexity of selecting minimal sets for monotone predicates

scientific article published in April 2016

SMT-Based Bounded Model Checking for Embedded ANSI-C Software

SMT-Based Bounded Model Checking for Embedded ANSI-C Software

article

Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints

scholarly article published 2009

Solving QBF with Free Variables

scientific article published in 2013

Paulina is supported by:

About Paulina

Help