Software model checking Page 1 21 Software Model Checking RANJIT JHALA University of
California, San Diego and RUPAK MAJUMDAR University of California, Los Angeles We survey …

Within the last decade, abstract argumentation has emerged as a central field in Artificial
Intelligence. Besides providing a core formalism for many advanced argumentation systems …

Abstract cvc5 is the latest SMT solver in the cooperating validity checker series and builds
on the successful code base of CVC4. This paper serves as a comprehensive system …

We present an approach for the verification of feed-forward neural networks in which all
nodes have a piece-wise linear activation function. Such networks are often used in deep …

Boolean satisfiability (SAT) solvers are at the core of efficient approaches for solving a vast
multitude of practical problems. Moreover, albeit targeting an NP-complete problem, SAT …

We introduce a new flexible paradigm of grounding and solving in Answer Set Programming
(ASP), which we refer to as multi-shot ASP solving, and present its implementation in the …

Yices is an SMT solver developed by SRI International. The first version of Yices was
released in 2006 and has been continuously updated since then. In 2007, we started a …

This paper describes the nuXmv symbolic model checker for finite-and infinite-state
synchronous transition systems. nuXmv is the evolution of the nuXmv open source model …

MathSAT is a long-term project, which has been jointly carried on by FBK-IRST and
University of Trento, with the aim of develo** and maintaining a state-of-the-art SMT tool …

CBMC implements bit-precise bounded model checking for C programs and has been
developed and maintained for more than ten years. CBMC verifies the absence of violated …