Generalized Property Directed Reachability
type: Item
instance of: scholarly article
title: Generalized Property Directed Reachability
zbMATH Open document ID: 1273.68229
DOI: 10.1007/978-3-642-31612-8_13
author: Kryštof Hoder
author: Nikolaj Bjørner
published in: Theory and Applications of Satisfiability Testing – SAT 2012
publication date: 2013-08-12T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6197752
describes a project that uses: SLAM
describes a project that uses: z3
MaRDI profile type: Publication
full work available at URL: 978-3-642-31612-8 13
OpenAlex ID: W81626549
description: scientific article