Login / Signup
On the Formal Verification of Middleware Behavioral Properties.
Jérôme Hugues
Thomas Vergnaud
Laurent Pautet
Yann Thierry-Mieg
Souheib Baarir
Fabrice Kordon
Published in:
Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
</>
formal verification
model checking
model checker
automated verification
desirable properties
symbolic model checking
bounded model checking
artificial intelligence
integer programming
human behavior
program slicing