StEAM

swMATH1987MaRDI QIDQ14535FDOQ14535

Official website https://rd.springer.com/chapter/10.1007/978-3-540-24732-6_4

Described by source

• Model Checking Software

Cited in

(8)

• Computer Aided Verification
• Application of static analyses for state-space reduction to the microcontroller binary code
• Zing
• DiVer
• Orion
• MoonWalker
• CodeSurfer
• WPDS++

This page was built for software: StEAM