This bookconstitutes the refereed proceedings of the 12th International Conference on
IntegratedFormal Methods IFM 2016 held in Reykjavik Iceland in June 2016.The 33
paperspresented in this volume were carefully reviewed and selected from 99submissions. They
were organized in topical sections named: invitedcontributions program verification
probabilistic systems concurrency safetyand liveness model learning SAT and SMT solving
testing theorem proving andconstraint satisfaction case studies.
