LeeTL: LTL with quantifications over model objects

Pouria Mellati, Ehsan Khamespanah, Ramtin Khosravi. LeeTL: LTL with quantifications over model objects. In Hakan Erdogmus, Klaus Havelund, editors, Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017. pages 41-49, ACM, 2017. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.