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
Feedback