Model Checking of CTL-Extended OCL Specifications
Abstract elided by the publisher.
Related papers
- Structural model subtyping with OCL constraints SLE 2017
- Parameterized Model Checking of Token-Passing Systems VMCAI 2014
- An automata-theortetic approach to modular model checking TOPLAS 2000
- Model Checking CTL*[DC] TACAS 2001
- Structural Symbolic CTL Model Checking of Asynchronous Systems CAV 2003
- Incremental, Inductive CTL Model Checking CAV 2012
- Stepwise CTL Model Checking of State/Event Systems CAV 1999
- Generation of Reduced Models for Checking Fragments of CTL CAV 1993