The Unit-B method: refinement guided by progress concerns
Metadata only
Datum
2016-10Typ
- Journal Article
Publikationsstatus
publishedExterne Links
Zeitschrift / Serie
Software and Systems ModelingBand
Seiten / Artikelnummer
Verlag
SpringerThema
Progress properties; Refinement; Fairness; Scheduling; Unit-B; Proof-based formal methods; Verification of cyber-physical systemsAnmerkungen
Received 15 November 2013, Revised 24 July 2014, Accepted 1 February 2015, Published online 15 May 2015.