Image

11th International Workshop on Formal Methods for Industrial Critical Systems

Invited speakers


Anna Slobodova, INTEL

Challenges for Formal Verification in Industrial Setting

abstract

Edward A. Lee (joint with Concur)

Making Concurrency Mainstream