Notes related to Formal specification
Papers related to Formal specification
- A trusted mechanised JavaScript specification [bodin:popl:2014]
- Translating formal software specifications to natural language / A grammar-based approach [burke:lacl:2005]
- Specifying the semantics of machine instructions [cifuentes:iwpc:1998]
- LSCs: Breathing life into message sequence charts [damm:fmoods:1999]
- A formal description of SYSTEM/360 [falkoff:ibm:1964]
- Describing instruction set processors using nML [fauth:edtc:1995]
- Easy approach to requirements syntax (EARS) [mavin:isre:2009]
- Trustworthy specifications of ARM v8-A and v8-M system level architecture [reid:fmcad:2016]
- A precise semantics for ultraloose specifications [reid:msc:1993]