Keyword:temporal logics

Publications
Automated Formalization of Biological Model Properties into Temporal Logics Using Large Language Models Sumit Kumar Jha, Pranav Sinha and Sunny Raj EasyChair Preprint 11514
Two Dimensional Bounded Model Checking for Unbounded Client-Server Systems Tephilla Prince EasyChair Preprint 8638