Announcement_12
Our paper about A Tableau-based Approach to Model Checking Linear Temporal Properties has been accepted for publication at the 25th International Conference on Formal Engineering Methods (ICFEM 2024). 
Our paper about A Tableau-based Approach to Model Checking Linear Temporal Properties has been accepted for publication at the 25th International Conference on Formal Engineering Methods (ICFEM 2024).