|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Owolabi Legunsen , Grigore RosuPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2022 Volume: 13255 Weight: 0.267kg ISBN: 9783031150760ISBN 10: 3031150767 Pages: 153 Publication Date: 23 August 2022 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsAutomated Consistency Analysis for Legal Contracts.- Monitoring Cyber-Physical Systems using a Tiny Twin to Prevent Cyber-Attacks.- Synthesis of Rigorous Floating-Point Predicates.- Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals.- SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks.- Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench.- Bounded-Memory Runtime Enforcement.- Solving String Theories involving Regular Membership Predicates using SAT.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |