Department of Intelligent Systems

AUTODEV - Automata for Decision Procedures and Verification

Czech title:Automaty v rozhodovacích procedurách a verifikaci
Research leader:Holík Lukáš
Team leaders:Strejček Jan (FI MUNI)
Team members:Lengál Ondřej, Rogalewicz Adam, Vojnar Tomáš
Agency:Czech Science Foundation
Code:GA19-24397S
Start:2019-01-01
End:2021-12-31
Keywords:Finite on automata on finite and infinite objects, heuristics for efficient operations with automata, decision procedures, formal analysis and verification, shape analysis, string analysis, termination and liveness analysis.
Annotation:
As indicated already above, the essence of the project is to deliver a strong push towards unleashing the potential of automata in practice through efficient heuristics. The efficiency of the heuristics should be demonstrated by using the developed techniques to advance the state of the art in shape analysis, string analysis, and termination/liveness analysis.

Products

2019Trau: SMT solver for string constraints, software, 2019
Authors: Abdulla Parosh A., Atig Mohamed F., Bui Phi Diep, Holík Lukáš, Chen Yu-Fang, Rezine Ahmed, Rummer Philipp
2015Norn: An SMT Solver for String Constraints, software, 2015
Authors: Abdulla Parosh A., Atig Mohamed F., Holík Lukáš, Chen Yu-Fang, Rezine Ahmed, Stenman Jari

Publications

2019ČEŠKA Milan and KŘETÍNSKÝ Jan. Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract). In: Proceedings of the 17th International Conference on Computational Methods in Systems Biology (CMSB'19). To be published in 2019. Trieste: Springer International Publishing, 2019, pp. 1-4.
 ČEŠKA Milan and KŘETÍNSKÝ Jan. Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks. In: Proceedings of the 31th International Conference on Computer Aided Verification (CAV'19). To be published in 2019. New York: Springer International Publishing, 2019, pp. 1-19.
 ČEŠKA Milan, HENSE Christian, JUNGES Sebastian and KATOEN Joost-Pieter. Counterexample-Driven Synthesis for Probabilistic Program Sketches. In: Proceedings of the 23rd International Symposium on Formal Methods. To be published in 2019. Porto: Springer International Publishing, 2019, pp. 1-19.

Your IPv4 address: 35.153.135.60
Switch to https