Sign in

Timely Specification Repair for Alloy 6.

Jorge CerqueiraAlcino CunhaNuno 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