A Brno University of Technology project

The Automation of Formal Verification (AUFOVER) project responds to the ever-growing need for rapid and high-quality software verification that is carried out within the development life cycle

Brno University of Technology

Red Hat is an official industry partner of FIT VUT and the collaboration runs on multiple levels. Undergraduate students have an opportunity to join Red Hat already during their studies through our internship program, assign for accredited courses taught by experienced engineers from Red Hat. We sponsor PhD students and various projects and activities like a summer school for girls.

Students can work and collaborate on their open source projects in an open source lab directly at the university sponsored by Red Hat.


Red Hat Research at DevConf CZ 2020

Red Hat Research at DevConf CZ 2020

On the weekend 24th - 26th January, the 12th round of the annual, free, Red Hat sponsored community conference DevConf CZ took place right after the first-ever Research Day Europe in Brno at the beautiful campus of the Brno University of Technology Faculty of...

Affiliated RIG

Brno RIG

Related Projects

TitleSummaryResearch Area
Innovation Scorecard: Controlling framework for innovation projects in ITInnovation Scorecard is a conceptual performance measurement and management control framework specifically designed for work activities that relate to innovation. Its origin lies in the outcomes of a primary research project that was supported by the Czech Scientific Foundation during 2013-2015. This project’s objective was to ascertain whether organizations in the Czech Republic measure the efficiency of their innovations and what metrics they applied to measure these. Results confirmed that organizations that constantly managed innovation were engaged in identifying performance measurements to determine the level of value and benefits associated with innovation.
Perun: Lightweight Performance Version SystemPerun is an open source light-weight Performance Version System, which works as a wrapper over existing Version Control Systems and in parallel manages performance profiles corresponding to different versions of projects. Moreover, it offers a tool suite suitable for automation of the performance regression test runs, postprocessing of existing profiles or effective interpretation of the results.
DiffKemp: Automatic analysis of semantic differences in kernel optionsThe project aims at creating a tool for automatic analysis of differences in the code between versions of the Linux kernel. The goal is to determine whether the semantics (the effect) of some kernel option, function, or parameter, changed between two kernel versions
AUFOVER – The Automation of Formal VerificationThe goal of the Automation of Formal Verification (AUFOVER) project is to develop automated formal verification tools and integrate them for industrial use. The tools to be developed or improved within the projects are Verification Server, Verification Server Client Application, csmock plug-ins, DIVINE, Symbiotic and Testos. The purpose of the grant is to finish the development of university tools based on formal mathematical methods and their transfer to a commercial environment, including integration with industrial partners’ tools and incorporation of these tools into the commercial processes for software verification.