|
G. Hariharan, B. Kempa, T. Wongpiromsarn, P. H. Jones and K. Y. Rozier,
MLTL Multi-type: A logic to reason over signals of different types,
In Proceedings of the 15th International Workshop on Numerical Software Verification (NSV), August, 2022
@inproceedings{Hariharan2022,
author = {Gokul Hariharan, Brian Kempa, Tichakorm Wongpiromsarn, Phillip H. Jones, Kristin Y. Rozier},
title = {MLTL Multi-type: A logic to reason over signals of different types},
booktitle = {In Proceedings of the 15th International Workshop on Numerical Software Verification (NSV)},
year = {2022},
pdf = {//research.temporallogic.org/papers/NSV22.pdf}
}
MLTL Multi-type: A logic to reason over signals of different typesGokul Hariharan*, Brian Kempa, Tichakorn Wongpiromsarn, Phillip H. Jones, and Kristin Y. Rozier This webpage contains further details and artifacts for reproducibility in “MLTL Multi-type: A logic to reason over signals of different types” Download artifactsYou can download the artifacts here, and the paper from here. The artifacts directory can also be cloned from Github. |