Timely Specification Repair for Alloy 6.

Jorge Cerqueira Alcino Cunha Nuno Macedo

Published in: SEFM (2022)

Keyphrases

high level
decision making
website
mechanical properties
real time
mobile robot
conceptual model
formal specification
code generation
damage assessment
room temperature
consistent query answering
stainless steel