SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems

Article Details
Title:	SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems
Article URLs:	https://doi.org/10.1145/2883817.2883849
Alternative Article URLs:
Authors:	Kyungmin Bae	SRI International
	Peter Csaba Ölveczky	University of Oslo
	Soonho Kong	Carnegie Mellon University
	Sicun Gao	MIT, CSAIL
	Edmund M. Clarke	Carnegie Mellon University
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://dreal.github.io/benchmarks/networks
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1330014, 1446675
DBLP Key:	conf/hybrid/BaeOKGC16
Author Comments:

ACM Intl. Conf. on Hybrid Systems: Computation and Control, HSCC 2016