Search results
3 projects found matching your search criteria:
-
1. Simulation and bisimulation for context-free and pushdown systems
Principal investigator: dr Piotr Hofman
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 3, Panel: ST6
-
2. Reasoning about programs in higher-order languages
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 8, Panel: ST6
-
3. Frontiers of automatic verification: new methods of analysis of infinite-state systems
Principal investigator: dr hab. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 5, Panel: ST6