Effective verification of systems with a dynamic number of components

• Název česky: Efektivní verifikace systémů s dynamickým počtem komponent
• Autoři: VAŘEKOVÁ Pavlína; MORAVEC Pavel; ČERNÁ Ivana; ZIMMEROVÁ Barbora
• Rok publikování: 2007
• Druh: Článek ve sborníku
• Konference: Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: http://portal.acm.org/citation.cfm?id=1292317&coll=Portal&dl=GUIDE&CFID=38755342&CFTOKEN=44186868
• Obor: Informatika
• Klíčová slova: Component-based systems; dynamic number of components; finite-state systems; formal verification
• Popis: V článku prezentujeme nový přístup k verifikaci dynamických komponentových systémů; systémů, které se mohou skládat z měnícího se počtu komponent v průběhu svého života.

Související projekty

• Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
• Techniky automatické verifikace a validace softwarových a hardwarových systémů
• Realistická aplikace formálních metod v komponentových systémech
• Institut Teoretické Informatiky
• Vysoce paralelní a distribuované výpočetní systémy