| Cover |
This class provides methods for computing the cover defined in [Hong Peng,
Yassine Mokhtari, Sofiène Tahar: Environment Synthesis for Compositional
Model Checking.
|
| PMT02 |
This class provides an implementation of the translation in [Hong Peng,
Yassine Mokhtari, Sofiène Tahar: Environment Synthesis for Compositional
Model Checking.
|
| PMT02Translators |
This class provides several translators based on the Tableau approach in
[Hong Peng, Yassine Mokhtari, Sofiène Tahar: Environment Synthesis for
Compositional Model Checking.
|
| PMT02Translators.ACTL2LOSNBW |
This is a translator from an ACTL formula to a label-on-state NBW based
on the Tableau approach in [PMT02].
|
| PMT02Translators.ACTL2LOSNGBW |
This is a translator from an ACTL formula to a label-on-state NGBW based
on the Tableau approach in [PMT02].
|
| PMT02Translators.ACTL2NBW |
This is a translator from an ACTL formula to an NBW based
on the Tableau approach in [PMT02].
|
| PMT02Translators.ACTL2NGBW |
This is a translator from an ACTL formula to an NGBW based
on the Tableau approach in [PMT02].
|