Paper: A Fixpoint Logic and Dependent Effects for Temporal Property Verification (at LICS 2018)
Authors: Yoji Nanjo Hiroshi Unno Eric Koskinen Tachio Terauchi
Abstract
No Abstract Available
BibTeX
@InProceedings{NanjoUnnoKoskinenTe-AFixpointLogicandDe, author = {Yoji Nanjo and Hiroshi Unno and Eric Koskinen and Tachio Terauchi}, title = {A Fixpoint Logic and Dependent Effects for Temporal Property Verification}, booktitle = {Proceedings of the Thirty third Annual IEEE Symposium on Logic in Computer Science (LICS 2018)}, year = {2018}, month = {July}, pages = {759--768}, location = {Oxford}, publisher = {IEEE Computer Society Press} }