[mc]square: A Model Checker for Microcontroller Code.

Bastian Schlich Stefan Kowalewski

Published in: ISoLA (2006)

Keyphrases

model checker
model checking
formal verification
formal methods
description language
temporal logic
test suite
formal specification
set theory
symbolic model checking
control system
ai planning
specification language
general purpose
web services
domain specific
image analysis