Login / Signup
AADL Execution Semantics Transformation for Formal Verification.
Thomas Abdoul
Joël Champeau
Philippe Dhaussy
Pierre Yves Pillain
Jean-Charles Roger
Published in:
ICECCS (2008)
Keyphrases
</>
formal verification
model checking
transformation rules
model checker
bounded model checking
automated verification
symbolic model checking
active rules
control flow
program slicing
formal semantics
logic programming
semantic information
active databases
formal specification
temporal logic
knowledge representation