E-Books durchsuchen
Model Checking Software [2022]
- 1
-
Automated Consistency Analysis for Legal Contracts
- 2
-
Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks
- 3
-
Synthesis of Rigorous Floating-Point Predicates
- 4
-
Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals
- 5
-
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks
- 6
-
Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench
- 7
-
Bounded-Memory Runtime Enforcement
- 8
-
Solving String Theories Involving Regular Membership Predicates Using SAT
- 9
-
Correction to: Bounded-Memory Runtime Enforcement