Volume 60, Issue 1 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 60, Issue 1

February 2022

Special Issue on CAV 2017

Issue Editors:

Viktor Kunčak,
Rupak Majumdar

3 articles in this issue

Static detection of uncoalesced accesses in GPU programs
Rajeev Alur
Joseph Devietti
Nimit Singhania
OriginalPaper 05 March 2021 Pages: 1 - 32
Markov automata with multiple objectives
Tim Quatmann
Sebastian Junges
Joost-Pieter Katoen
OriginalPaper 29 March 2021 Pages: 33 - 86
Reluplex: a calculus for reasoning about deep neural networks
Guy Katz
Clark Barrett
Mykel J. Kochenderfer
OriginalPaper 01 July 2021 Pages: 87 - 116