V
erification and
A
nalysis for
S
afety and
S
ecurity of
A
pplications in
L
ife
About
About
Objectives
Outcomes
Structure
Research
Research
Logics and automata
Model-based design, analysis, and synthesis
Verification and analysis on the source code level
Economic implications
News & Events
Deliverables
Results
Publications
Tools
Events
Partners
Contact
Contact
Project coordinator
Milan Češka
Brno University of Technology
website
ceskam@fit.vut.cz
Project manager
Martin Jírovec
Brno University of Technology
website
jirovec@fit.vut.cz
Milan Češka
Martin Jírovec