Model Classifications and Automated Verification
| Název česky | Klasifikace modelů a automatická verifikace |
|---|---|
| Autoři | |
| Rok publikování | 2008 |
| Druh | Článek ve sborníku |
| Konference | Formal Methods for Industrial Critical Systems |
| Fakulta / Pracoviště MU | |
| Citace | |
| Obor | Informatika |
| Klíčová slova | model checking; automated verification; state space |
| Popis | Díky rozvoji automatické verifikace, existuje dnes pro většinu verifikačních problémů několik technik. V mnoha případech se tyto techniky vzájemně doplňují - každá technika pracuje dobře pro jiné instance problému. Bohužel však není jasné, jak vybrat vhodnou techniku pro specifickou vstupní instanci. V této práci zdůvodňujeme, že problém výběru vhodné techniky a nastavení parametrů, by se měl uvažovat jako samostatný problém. Navrhujeme také několik klasifikací modelů a diskutujeme jejich aplikace v kontextu explicitního ověřování modelů. |
| Související projekty: |