“…With appropriate extensions (Schneider, 2000;Tuominen et al, 2008;Tartanoglu et al, 2003), formal methods of parallel systems are capable of modeling and verifying not only functional (logical) system properties but also extra-functional properties such as timing, quality-of-service (QoS), energy, and dependability. All of the mentioned extra-functional properties are important from both hardware and software perspective, and they pose most intriguing challenge for the class of formal methods discussed here.…”