VeriFIT is a group including researchers and students from FIT BUT interested in research on methods of automated analysis and verification of systems. The interests of the group include formal analysis and verification (static analysis, abstract interpretation, model checking), dynamic analysis (i.e., analysis at run-time), intelligent testing as well as methods of self-healing of systems. The group is involved in basic research in the described areas as well as in development and evaluation of prototype verification tools.
Automated Analysis and Verification (VeriFIT)
- IndustryAviation & Space, Cybersecurity, Science & Research, Test & Measurement Instrumentation, Transportation, Mobility & Logistics
- InstitutionBrno University of Technology
- Faculty / InstituteFaculty of Information Technology
- Research typeApplied, Basic
- Research areaFormal Methods in AI, Foundation Model Pretraining & Development, Other, Probabilistic Reasoning, Theoretical Computer Science
logics, automata, decision procedures, Markov chains, probabilistic programs, controller synthesis, memory safety, automated testing, quantum computer simulation
- ContactAdam Rogalewicz
- Emailrogalew@fit.vut.cz
- Websitehttps://www.fit.vut.cz/research/group/verifit/
- AddressBožetěchova 2, 612 00 Brno