Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems

• Název česky: Automatizované počítání maximálního počtu obsluhovaných klientů v klient-server systémech
• Autoři: MORAVCOVÁ VAŘEKOVÁ Pavlína; VAŘEKOVÁ Ivana; ČERNÁ Ivana
• Rok publikování: 2008
• Druh: Článek ve sborníku
• Konference: Proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08)
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Informatika
• Klíčová slova: Client-Server systems; formal verification; infinite state systems; component-based system analysis
• Popis: V článku prezentujeme algoritmus který pro klient-server systémy řeší otázky typu: "Jaký je maximální počet klientů, kteří můžou být zároveň v zadaných stavech?"

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