|
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” ContactIf you have used MLTLM, please provide us with your feedback. You can contact Gokul with your comments and suggestions. If you find problems or bugs in our tools, please write to us and we'll to get back to you. If possible, please include the following information:
|