The research area "Formal Methods and Algorithmics" (ForMAl) consists of the three working groups "Software Development and Verification", "Safety-Critical Systems" and "Efficient Algorithms and ...
Over the last ten years, we have seen tremendous progress in technologies for formal verification of the behavior of RTL designs. Today, these formal technologies are vastly more thorough than ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results