LusSy

MaRDI QIDQ26813swMATHFDO

Official website http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=1508127

Cited in

(8)

• Facilitating the design of fault tolerance in transaction level SystemC programs
• Software model checking with explicit scheduler and symbolic threads
• Compositional reactive semantics of SystemC and verification with RuleBase
• B4Free
• SystemC
• Pinapa
• RAVEN
• PROMETHEUS

This page was built for software: LusSy