Formal verification of systems with an unlimited number of components

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora MORAVEC Pavel ČERNÁ Ivana

Year of publication 2008
Type Article in Periodical
Magazine / Source IET Software journal
MU Faculty or unit

Faculty of Informatics

Citation
Web http://scitation.aip.org/dbt/dbt.jsp?KEY=ISEOB7&Volume=2&Issue=6
Field Informatics
Keywords Component-based systems; dynamic number of components; infinite-state systems; formal verification
Description In the paper, we focus on control-user parametrised systems. We present an extended version of a fully automatic algorithm which we introduced in our previous paper.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.