Sciweavers

137
Voted
ACSD
2008
IEEE
102views Hardware» more  ACSD 2008»
15 years 10 months ago
Performing causality analysis by bounded model checking
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
Klaus Schneider, Jens Brandt