DiVer

swMATH1938MaRDI QIDQ14487FDOQ14487

Author name not available (Why is that?)

Described by source

• Tools and Algorithms for the Construction and Analysis of Systems

Cited In (8)

• Efficient SAT-based bounded model checking for software verification
• FRACTAL APPROACH TO UNDERSTAND PFO AND DCS IN SPORT DIVERS
• 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
• Tools and Algorithms for the Construction and Analysis of Systems
• Computer Aided Verification
• SAT-Based Scalable Formal Verification Solutions

This page was built for software: DiVer