Ing.
Lukáš Charvát
Ph.D.
Member
Projects
-
2017
Secure and Reliable Computer Systems, BUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, completed, start: 2017-03-01, end: 2019-12-31
Detail -
2014
Automatic Formal Analysis and Verification of Programs with Complex Unbounded Data and Control Structures, GACR, GA14-11384S, 2014-2016, completed, start: 2014-01-01, end: 2016-12-31
DetailReliability and Security in IT, BUT, FIT-S-14-2486, 2014-2016, completed, start: 2014-03-11, end: 2016-12-31
Detail -
2013
Innovation of the Complexity Theory class, FRVŠ MŠMT, FR166/2013/G1, 2013, completed, start: 2013-01-01, end: 2013-12-31
Detail -
2010
Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit, MŠMT CR, OC10009, 2010-2012, completed, start: 2010-01-01, end: 2012-12-31
DetailStatic and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness, GACR, GAP103/10/0306, 2010-2013, completed, start: 2010-01-01, end: 2013-12-31
Detail