Formal verification of systems with an unlimited number of components

Warning

This publication doesn't include Institute of Computer Science. 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:	Integrated approach to education of PhD students in the area of parallel and distributed systems Techniques for automatic verification and validation of software nad hardware systems Realistic application of formal methods in component systems