Linearizability on hardware weak memory models Graeme SmithKirsten WinterRobert J. Colvin Original Article 15 November 2019 Pages: 1 - 32
Using formal verification to evaluate the execution time of Spark applications L. BaresiM. M. BersaniM. Rossi Original Article 05 February 2020 Pages: 33 - 70
Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation Waqar AhmadOsman HasanSofiène Tahar Original Article 27 January 2020 Pages: 71 - 111
Modeling and Verification of A Timing Protection Mechanism in the OSEK/VDX OS using CSP Yanhong HuangHaiping PangJianqi Shi Original Article 25 May 2020 Pages: 113 - 145
Gerard O’Regan: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications Jonathan P. Bowen Book Review 05 February 2020 Pages: 147 - 148
André Platzer: Logical foundations of cyber-physical systems Alexander KnappMarkus Roggenbach Book Review Open access 20 March 2020 Pages: 149 - 151
Correction to: Multiple model synchronization with multiary delta lenses with amendment and K-Putput Zinovy DiskinHarald KönigMark Lawford Correction 15 January 2020 Pages: 153 - 153