Abstract Model Repair

DOI10.2168/LMCS-11(3:11)2015zbMath1448.68292arXiv1506.06165OpenAlexW2395626435MaRDI QIDQ3196342

Borzoo Bonakdarpour, Scott A. Smolka, G. Chatzieleftheriou, Panagiotis Katsaros

Publication date: 29 October 2015

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1506.06165

zbMATH Keywords

model checkingabstraction refinementmodel repair

Mathematics Subject Classification ID

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

Related Items (4)

Synthesis of large dynamic concurrent programs from dynamic specifications ⋮ Model and program repair via group actions ⋮ Abstract model repair for probabilistic systems ⋮ Two AGM-style characterizations of model repair

This page was built for publication: Abstract Model Repair