Model-checking behavioral programs.

David Harel, Robby Lampert, Assaf Marron, Gera Weiss

Browse the full EMSOFT paper archive.