{"product_id":"theoretical-aspects-of-software-engineering-9783031982071","title":"Theoretical Aspects of Software Engineering","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003e\u003cstrong\u003e.- Program Verification.\u003c\/strong\u003e\u003c\/p\u003e\u003cp\u003e.- Safeguarding Neural Network-Controlled Systems via Formal Methods: From Safety-by-Design to Runtime Assurance (Invited Talk) .\u003c\/p\u003e\u003cp\u003e.- Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness.\u003c\/p\u003e\u003cp\u003e.- Dependent Assertion Logic for Modular Software Verification.\u003c\/p\u003e\u003cp\u003e.- A Formal Framework for Naturally Specifying and Verifying Sequential Algorithms.\u003c\/p\u003e\u003cp\u003e.- Machine-Checked Compositional Specification and Proofs for Embedded Systems.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e.- Verification and Concurrency.\u003c\/strong\u003e\u003c\/p\u003e\u003cp\u003e.- Failure divergence refinement for Event-B\u003c\/p\u003e\u003cp\u003e.- Mining Diamonds in labeled Transition Systems.\u003c\/p\u003e\u003cp\u003e.- Portability of Optimizations from SC to TSO.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e.- SAT and SMT Solving.\u003c\/strong\u003e\u003c\/p\u003e\u003cp\u003e.- Adaptive Clause Management in SMT Solvers: A Dynamic Weighting Framework for Formal Verification.\u003c\/p\u003e\u003cp\u003e.- SNRWLS: Improve (W)PMS Solver with Weighting Strategies Related to Number of Soft Clauses.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e.- Trustworthy AI and System Software.\u003c\/strong\u003e\u003c\/p\u003e\u003cp\u003e.- Robust Deep Reinforcement Learning Using Formal Verification.\u003c\/p\u003e\u003cp\u003e.- A Formally Verified Neural Network Converter for the Interactive Theorem Prover Coq.\u003c\/p\u003e\u003cp\u003e.- COMPASS: An Agent for MLIR Compilation Pass Pipeline Generation.\u003c\/p\u003e\u003cp\u003e.- Stable Ranges: Shared Dichotomy in Large Version-Controlled Repositories.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e.- Program Analysis using Machine Learning.\u003c\/strong\u003e\u003c\/p\u003e\u003cp\u003e.- CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs towards CWE Detection.\u003c\/p\u003e\u003cp\u003e.- FAMiT: Mitigating False Alarms for Program Analysis Using Large Language Models.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e.- Security.\u003c\/strong\u003e\u003c\/p\u003e\u003cp\u003e.- A Cross-domain Data Sharing Scheme Based on Federated Blockchain.\u003c\/p\u003e\u003cp\u003e.- Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs.\u003c\/p\u003e\u003cp\u003e.- Detecting speculative data flow vulnerabilities using weakest precondition reasoning.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e.- Dynamic Analysis.\u003c\/strong\u003e\u003c\/p\u003e\u003cp\u003e.- Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation.\u003c\/p\u003e\u003cp\u003e.- State Significance-Guided Fuzzing for Stateful Protocol Program.\u003c\/p\u003e\u003cp\u003e.- Unleash the Hidden Power of CAR-based Model Checking through Dynamic Traversal.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53195503698263,"sku":"9783031982071","price":61.74,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/theoretical-aspects-of-software-engineering-9783031982071","provider":"Book Curl","version":"1.0","type":"link"}