The following pages link to Model checking at IBM (Q1870213):
Displaying 7 items.
- Explaining counterexamples using causality (Q453516) (← links)
- A formalism to describe cyclogram testing models and perform model verification (Q462102) (← links)
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam (Q1014561) (← links)
- Formal verification of a railway interlocking system using model checking (Q1295868) (← links)
- A rewriting semantics for ABEL with applications to hardware/software co-design and analysis (Q2873774) (← links)
- Efficient and effective quantum compiling for entanglement-based machine learning on IBM Q devices (Q4620294) (← links)
- Automated Technology for Verification and Analysis (Q5394167) (← links)