Fair Cycle Detection: A New Algorithm and a Comparative Study Fabio Somenzi University of Colorado at Boulder.
LTL – model checking Jonas Kongslund Peter Mechlenborg Christian Plesner Kristian Støvring Sørensen.
PAT: Getting started
What is PAT? Installation System Components ◦ Editor ◦ Simulator ◦ Model Checkers System Architecture Language Syntax Example Demonstration.
LTL Workshop November 18, 2010
Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings
Property-Based Test Generation Li Tan, Oleg Sokolsky, and Insup Lee University of Pennsylvania