Parameter Synthesis by Parallel Coloured CTL Model Checking

@inproceedings{Brim2015ParameterSB,
  title={Parameter Synthesis by Parallel Coloured CTL Model Checking},
  author={Lubos Brim and Milan Ceska and Martin Demko and Samuel Pastva and David Safr{\'a}nek},
  booktitle={CMSB},
  year={2015}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…