Model Checking Papers

Lecture Notes on CTL Model Checking

• date: 2022
• authors: Matt Fredrikson
• format: lecture-notes
• url: https://www.cs.cmu.edu/~15414/s23/s22/lectures/23-ctl.pdf

.

Model Checking CTL is Almost Always Inherently Sequential

• date: 2011
• authors: Olaf Beyersdorff, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Heribert Vollmer
• topics: Model Checking, Computational Complexity
• url: https://arxiv.org/abs/1103.4990

.

Cycle Detection in Computation Tree Logic

• date: 2016
• authors: Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
• url: https://arxiv.org/abs/1609.04095

.

Direct Model-checking of SysML Models

• date: 2021
• authors: Alessandro Tempia Calvino, Ludovic Apvrille
• url: https://www.scitepress.org/Papers/2021/102563/102563.pdf
• topics: Model Checking, Software Engineering

.