Search Results for author:
Found 3 papers, 1 papers with code
On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic
Differential dynamic logic is a formal specification and verification language for hybrid systems, which are mathematical models of cyber-physical systems.
Formal Development of Safe Automated Driving using Differential Dynamic Logic
The challenges in providing convincing arguments for safe and correct behavior of automated driving (AD) systems have so far hindered their widespread commercial deployment.
Deductive Verification of Floating-Point Java Programs in KeY
Deductive verification has been successful in verifying interesting properties of real-world programs.
Programming Languages
Cannot find the paper you are looking for? You can
Submit a new open access paper.
