Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations

Article Details
Title:	Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations
Article URLs:	https://doi.org/10.1007/978-3-319-41528-4_15 https://www.wikidata.org/entity/Q62041093
Alternative Article URLs:
Authors:	Jakub Daniel	Fondazione Bruno Kessler Charles University in Prague, Faculty of Mathematics and Physics, Department of Distributed and Dependable Systems
	Alessandro Cimatti	Fondazione Bruno Kessler
	Alberto Griggio	Fondazione Bruno Kessler
	Stefano Tonetta	Fondazione Bruno Kessler
	Sergio Mover	University of Colorado Boulder
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://es-static.fbk.eu/people/griggio/ic3ia/
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/cav/DanielCGTM16
Author Comments:

Computer Aided Verification, CAV 2016