Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1112163, author = {Křetínský, Jan and Sickert, Salomon}, address = {Heidelberg Dordrecht London New York}, booktitle = {Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium}, doi = {http://dx.doi.org/10.1007/978-3-642-39718-9_13}, editor = {Z. Liu, J. Woodcock, and H. Zhu}, keywords = {modal transition systems; specification; interface theory; refinement}, howpublished = {tištěná verze "print"}, language = {eng}, location = {Heidelberg Dordrecht London New York}, isbn = {978-3-642-39717-2}, pages = {213-230}, publisher = {Springer}, title = {On Refinements of Boolean and Parametric Modal Transition Systems}, year = {2013} }
TY - JOUR ID - 1112163 AU - Křetínský, Jan - Sickert, Salomon PY - 2013 TI - On Refinements of Boolean and Parametric Modal Transition Systems PB - Springer CY - Heidelberg Dordrecht London New York SN - 9783642397172 KW - modal transition systems KW - specification KW - interface theory KW - refinement N2 - We consider the extensions of modal transition systems (MTS), namely Boolean MTS and parametric MTS and we investigate the refinement problems over both classes. Firstly, we reduce the problem of modal refinement over both classes to a problem solvable by a QBF solver and provide experimental results showing our technique scales well. Secondly, we extend the algorithm for thorough refinement of MTS providing better complexity than via reductions to previously studied problems. Finally, we investigate the relationship between modal and thorough refinement on the two classes and show how the thorough refinement can be approximated by the modal refinement. ER -
KŘETÍNSKÝ, Jan a Salomon SICKERT. On Refinements of Boolean and Parametric Modal Transition Systems. In Z. Liu, J. Woodcock, and H. Zhu. \textit{Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium}. Heidelberg Dordrecht London New York: Springer, 2013, s.~213-230. ISBN~978-3-642-39717-2. Dostupné z: https://dx.doi.org/10.1007/978-3-642-39718-9\_{}13.
|