DiVer

swMATH1938MaRDI QIDQ14487FDOQ14487

Author name not available (Why is that?)

Official website: http://rd.springer.com/chapter/10.1007/978-3-540-31980-1_41

Described by source

• Tools and Algorithms for the Construction and Analysis of Systems

Cited In (10)

• Efficient SAT-based bounded model checking for software verification
• A new family of BAN estimators for polytomous logistic regression models based on \(\varphi\)-diver\-gence measures
• Formal Methods for Hardware Verification
• The Ricci curvature of finite dimensional approximations to loop and path groups
• FocusCheck
• Tools and Algorithms for the Construction and Analysis of Systems
• SATORI
• Computer Aided Verification
• Fractal approach to understand PFO and DCS in sport divers
• SAT-Based Scalable Formal Verification Solutions

This page was built for software: DiVer