Placeholder text
Formal Methods and Software Engineering
0 - Default Title
Description
.- Automata-Based Steering of Large Language Models for Diverse Structured Generation.
.- LLM-SYM: Integrating Symbolic Methods and Large Language Models for Automated Theorem Proving.
.- Modeling and Analysis of Cyber-Physical Systems in the Hybrid pi-Calculus Using Extended Sequence Diagrams.
.- Neural-Symbolic System Control Adjustment Based on Runtime Verification.
.- Formalizing Requirements into Dafny Specifications with LLMs.
.- Detecting Vector Container Errors in C++ Programs via Abstract Interpretation.
.- BCCIC3:Batch Clause Construction Enhanced Generalization in IC3.
.- MetaLogic: Robustness Evaluation of Text-to-Image Models Using Logically Equivalent Prompts.
.- Formal Construction of Threat Detections from Attack Trees.
.- A Test-Driven Approach for Refining Use Case Specifications of Software Requirements with LLMs.
.- ZK-ProVer: Proving Programming Verification in Non-Interactive Zero-Knowledge Proofs.
.- Synthesizing Loops from Linear Ranking Functions.
.- Modeling and Verifying Concurrent Reactive Systems Using Separation Logic.
.- Formal Modeling and Verification of Blockchain Consensus Protocols: A Case Study on ChainMaker.
.- A Unified Method to Efficiently Verify Opacity of Discrete-Timed Automata.
.- Quantitative Verification for Temporal Properties of Massive Linear Systems.
.- Avoiding Larger Conflict Regions in CDCL-Style Methods for Solving SMT-NRA.
.- Formal Modeling of Reinforcement Learning Systems with SMT.
.- Formal modelling of fault tolerant robotic missions.
.- Towards High-Level SMT Program Modeling: Bounded Integers, Simplified Structs, and Metaprogramming.
Product details
Binding:
Paperback
Number of Pages:
416
Release Date:
2025-11-12
Publication Date:
2025-11-12
Publisher:
Springer
Languages:
Original:
English
ISBN10:
981954212X
ISBN13:
9789819542123
GPSR Manufacturer Reference:
Weight:
628 g
Height:
155 cm
Width:
235 cm
Thickness:
23 cm
Currently sold out