5 citations · 6 across the 4 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
eess.SY2024
How Deduction Systems Can Help You To Verify Stability Properties
Mario Gleirscher, Rehab Massoud, Dieter Hutter +1
Mathematical proofs are a cornerstone of control theory, and it is important to get them right. Deduction systems can help with this by mechanically checking the proofs. However, t…
cs.SE2024★ 1 cited
Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
Sören Tempel, Tobias Brandt, Christoph Lüth +2
Symbolic execution is an SMT-based software verification and testing technique. Symbolic execution requires tracking performed computations during software simulation to reason abo…