StEAM

swMATH1987MaRDI QIDQ14535FDOQ14535

Author name not available (Why is that?)

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

Described by source

• Model Checking Software

Cited In (6)

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

This page was built for software: StEAM