DiVer

MaRDI QIDQ14487swMATHFDO

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
• FocusCheck
• SATORI
• The Ricci curvature of finite dimensional approximations to loop and path groups
• Tools and Algorithms for the Construction and Analysis of Systems
• 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