Parallel Model Checking and the FMICS-jETI Platform

• Název česky: Paralelní ověřování modelů a platforma FMICS-jETI
• Autoři: BARNAT Jiri; BRIM Lubos; LEUCKER Martin
• Rok publikování: 2007
• Druh: Článek ve sborníku
• Konference: Proceedings Twelfth IEEE International Conference on Engineering of Complex Computer Systems
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Informatika
• Klíčová slova: Parallel Model Checking; FMICS-jETI platform
• Popis: V tomto článku jsou shrnuty algoritmy pro enumerativní ověřování modelu vlastností fomrulovaných v lineární temporální logice (LTL) a fragmentu mu-kalkulu, který přirozeně obsahuje také výpočtovou logiku větvícího se času (CTL). Také indikujeme použití aplikace jako služby pro integrované modelování, analýzu a verifikaci v rámci FMICS-jETI platformy.

Související projekty

• Techniky automatické verifikace a validace softwarových a hardwarových systémů
• Institut Teoretické Informatiky
• Vysoce paralelní a distribuované výpočetní systémy
• Automatizovaná verifikace softwaru