Infeasible Paths Elimination by Symbolic Execution Techniques
type: Item
instance of: scholarly article
title: Infeasible Paths Elimination by Symbolic Execution Techniques
zbMATH Open document ID: 1478.68140
DOI: 10.1007/978-3-319-43144-4_3
author: Romain Aissat
author: Frédéric Voisin
author: Burkhart Wolff
published in: Interactive Theorem Proving
publication date: 2016-10-27T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 6644735
zbMATH Keywords: TRACER
zbMATH Keywords: CEGAR
zbMATH Keywords: symbolic execution
zbMATH Keywords: feasible paths
zbMATH Keywords: control-flow graphs
zbMATH Keywords: graph transformation
describes a project that uses: BLAST
describes a project that uses: CEGAR
describes a project that uses: TRACER
describes a project that uses: Locales
describes a project that uses: SatAbs
describes a project that uses: Graph Theory
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-319-43144-4 3
OpenAlex ID: W2494909361
cites work: Locales: a module system for mathematical theories
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Computer Aided Verification
cites work: TRACER: A Symbolic Execution Tool for Verification
cites work: Lazy Abstraction with Interpolants
cites work: Isabelle/HOL. A proof assistant for higher-order logic
cites work: A graph library for Isabelle
description: scientific article; zbMATH DE number 6644735