{"product_id":"andre-etienne-formal-methods-and-software-engineering-9789819542123","title":"Formal Methods and Software Engineering","description":".- Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks.\n\u003cbr\u003e\n.- Automata-Based Steering of Large Language Models for Diverse Structured Generation.\n\u003cbr\u003e\n.- LLM-SYM: Integrating Symbolic Methods and Large Language Models for Automated Theorem Proving.\n\u003cbr\u003e\n.- Modeling and Analysis of Cyber-Physical Systems in the Hybrid pi-Calculus Using Extended Sequence Diagrams.\n\u003cbr\u003e\n.- Neural-Symbolic System Control Adjustment Based on Runtime Verification.\n\u003cbr\u003e\n.- Formalizing Requirements into Dafny Specifications with LLMs.\n\u003cbr\u003e\n.- Detecting Vector Container Errors in C++ Programs via Abstract Interpretation.\n\u003cbr\u003e\n.- BCCIC3:Batch Clause Construction Enhanced Generalization in IC3.\n\u003cbr\u003e\n.- MetaLogic: Robustness Evaluation of Text-to-Image Models Using Logically Equivalent Prompts.\n\u003cbr\u003e\n.- Formal Construction of Threat Detections from Attack Trees.\n\u003cbr\u003e\n.- A Test-Driven Approach for Refining Use Case Specifications of Software Requirements with LLMs.\n\u003cbr\u003e\n.- ZK-ProVer: Proving Programming Verification in Non-Interactive Zero-Knowledge Proofs.\n\u003cbr\u003e\n.- Synthesizing Loops from Linear Ranking Functions.\n\u003cbr\u003e\n.- Modeling and Verifying Concurrent Reactive Systems Using Separation Logic.\n\u003cbr\u003e\n.- Formal Modeling and Verification of Blockchain Consensus Protocols: A Case Study on ChainMaker.\n\u003cbr\u003e\n.- A Unified Method to Efficiently Verify Opacity of Discrete-Timed Automata.\n\u003cbr\u003e\n.- Quantitative Verification for Temporal Properties of Massive Linear Systems.\n\u003cbr\u003e\n.- Avoiding Larger Conflict Regions in CDCL-Style Methods for Solving SMT-NRA.\n\u003cbr\u003e\n.- Formal Modeling of Reinforcement Learning Systems with SMT.\n\u003cbr\u003e\n.- Formal modelling of fault tolerant robotic missions.\n\u003cbr\u003e\n.- Towards High-Level SMT Program Modeling: Bounded Integers, Simplified Structs, and Metaprogramming.","brand":"Springer","offers":[{"title":"Default Title","offer_id":53804421415254,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/andre-etienne-formal-methods-and-software-engineering-9789819542123","provider":"momoxbooks","version":"1.0","type":"link"}