Model and program repair via group actions

DOI10.1007/978-3-031-30829-1_25OpenAlexW4366549998MaRDI QIDQ6091216

Paul C. Attie, William L. Cocke

Publication date: 24 November 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-30829-1_25

zbMATH Keywords

model checkingsymmetry reductionmodel repair

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Cites Work

• Program repair without regret
• Using branching time temporal logic to synthesize synchronization skeletons
• Enhancing model checking in verification by AI techniques
• Uncovering Symmetries in Irregular Process Networks
• Parameterized Model Checking of Token-Passing Systems
• Abstract Model Repair
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Reasoning about systems with many processes
• Computer Science Logic
• Correct Hardware Design and Verification Methods
• On Reasoning About Rings
• Tools and Algorithms for the Construction and Analysis of Systems
• Computer Aided Verification
• FM 2005: Formal Methods
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item