Requirements specification

[Google Scholar]

Notes:
Papers:

Alloy verifier

  • DynAlloy: Upgrading Alloy with Actions [frias:icse:2005]
  • Model checking early requirements specifications in Tropos [fuxman:isre:2001]
  • Alloy: A lightweight object modelling notation [jackson:tosem:2002]
  • Who guards the guards? Formal validation of the ARM v8-M architecture specification [reid:oopsla:2017]
  • Defining interfaces between hardware and software: Quality and performance [reid:phd:2019]