[mc]square: A Model Checker for Microcontroller Code

Bastian Schlich, Stefan Kowalewski. [mc]square: A Model Checker for Microcontroller Code. In Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006. pages 466-473, IEEE, 2006. [doi]

Abstract

Abstract is missing.