Použití vysokoúrovňových vizuálních jazyků (např. Statecharts, Petri nets) v procesu modelem řízeného návrhu systémů je v současné době velmi aktuálním tématem (viz např. Executable UML). Naproti tomu současný trend ve formální analýze a verifikaci se dosud stále pragmaticky soustřeďuje na  nízkoúrovňové jazyky, protože na nich je postavena drtivá většina soudobých informačních technologií. Jako perspektivní se jeví možnost provádět verifikaci nikoliv na úrovni jazyků blízkých stroji, ale v pojmech velmi vysokoúrovňových vizuálních jazyků, které jsou bližší způsobu, jakým o systémech uvažuje člověk. Očekává se, že proces tvorby bezpečných systémů s využitím FAV na této úrovni bude efektivnější.
Předpokládá se použití existujících standardních verifikačních nástrojů, do kterých se budou překládat Petriho sítě (různých typů) a Statecharts.

• ED1.1.00/02.0070 - Centrum excelence IT4Innovations