Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring

DOI10.1145/3536430zbMath1522.68300OpenAlexW4280651663MaRDI QIDQ6136746

Hadrien Bride, Unnamed Author, Jin-Song Dong, Scott Uk-Jin Lee, Gillian Dobbie, Zhé Hóu, Cheng-Hao Cai

Publication date: 31 August 2023

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3536430

zbMATH Keywords

model checkingB-methodautomated model repairrepair evaluator training

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring