Generalized property-directed reachability for hybrid systems
type: Item
instance of: scholarly article
title: Generalized property-directed reachability for hybrid systems
DOI: 10.1007/978-3-030-39322-9_14
author: Kohei Suenaga
author: Takuya Ishizawa
publication date: 2020-08-05T00:00:00Z
full work available at URL: https://arxiv.org/abs/1910.03784
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 7228512
zbMATH Keywords: hybrid systems
zbMATH Keywords: property-directed reachability
zbMATH Keywords: IC3
zbMATH Keywords: model checking
zbMATH Keywords: verification
describes a project that uses: ODEPACK
describes a project that uses: Flow*
describes a project that uses: HyComp
describes a project that uses: z3
describes a project that uses: CTIGAR
describes a project that uses: KeYmaera
describes a project that uses: HyTech
describes a project that uses: SpaceEx
MaRDI profile type: Publication
OpenAlex ID: W3002244537
description: scientific article; zbMATH DE number 7228512