Formal verification of systems with an unlimited number of components

• 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
• 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