FM 2016: 21st International Symposium on Formal Methods is a conference dedicated to the theory and application of formal methods.