A Fixpoint Logic and Dependent Effects for Temporal Property Verification

Article Details
Title:	A Fixpoint Logic and Dependent Effects for Temporal Property Verification
Article URLs:	https://doi.org/10.1145/3209108.3209204
Alternative Article URLs:
Authors:	Yoji Nanjo	University of Tsukuba
	Hiroshi Unno	University of Tsukuba
	Eric Koskinen	Stevens Institute of Technology
	Tachio Terauchi	Waseda University
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://www.cs.tsukuba.ac.jp/~uhiro/
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1618542
DBLP Key:	conf/lics/Nanjo0KT18
Author Comments:

ACM/IEEE Logic in Computer Science, LICS 2018