| Model Checking for Verification of Quantum Circuits
|
2021 |
Ying, Mingsheng |
| Verifying Secure Speculation in Isabelle/HOL
|
2021 |
Griffin, Matt |
| Two Mechanisations of WebAssembly 1.0
|
2021 |
Watt, Conrad |
| Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers
|
2021 |
Krishna, Shankara Narayanan |
| Verified Quadratic Virtual Substitution for Real Arithmetic
|
2021 |
Scharager, Matias |
| Gaussian Process-Based Confidence Estimation for Hybrid System Falsification
|
2021 |
Zhang, Zhenya |
| Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox
|
2021 |
Adelt, Julius |
| Z3str4: A Multi-armed String Solver
|
2021 |
Mora, Federico |
| Featured Team Automata
|
2021 |
Beek, Maurice H. ter |
| Trace Abstraction-Based Verification for Uninterpreted Programs
|
2021 |
Hong, Weijiang |
| Cabean 2.0: Efficient and Efficacious Control of Asynchronous Boolean Networks
|
2021 |
Su, Cui |
| On Lexicographic Proof Rules for Probabilistic Termination
|
2021 |
Chatterjee, Krishnendu |
| The Probabilistic Termination Tool Amber
|
2021 |
Moosbrugger, Marcel |
| Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles
|
2021 |
Gu, Rong |
| Formal Verification of Consensus in the Taurus Distributed Database
|
2021 |
Gao, Song |
| Some Lessons Learned in the Industrialization of Formal Methods for Financial Algorithms
|
2021 |
Passmore, Grant Olney |
| Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems
|
2021 |
Teige, Tino |
| Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed
|
2021 |
Wang, Jiawan |
| Apply Formal Methods in Certifying the SyberX High-Assurance Kernel
|
2021 |
Xu, Wenjing |
| Probabilistic Verification of Neural Networks Against Group Fairness
|
2021 |
Sun, Bing |
Tag hinzufügen