Model Checking of Control-User Component-Based Parametrised Systems

• Název česky: Model checking parametrizovaných komponentových systémů s kontroler-user architekturou
• Autoři: MORAVCOVÁ VAŘEKOVÁ Pavlína; ČERNÁ Ivana
• Rok publikování: 2008
• Druh: Článek ve sborníku
• Konference: Lecture Notes in Computer Science 5282
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Informatika
• Klíčová slova: parametrised systems; formal verification; Client-Server systems; component-based system analysis
• Popis: V tomto článku se věnujeme kontroler-user parametrizovaným systémům, které vzniknou jako modely komponentových systémů. Navrhujeme dva algoritmy pro formální verifikaci toho, které stavy jsou v těchto systémech dosažitelné.

Související projekty

• 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