Bibliography: Formal verification in industry (Summary)

Score
00150960.0
GroceHJ070.0
CreuseDGHH990.0
LuckcuckFDDF190.0
Leino10-20.0
NybergGLRW180.0
RushbyH930.0
wiels:hal-011840990.0
PhilippaertsMPS0P140.0
TodorovBT180.0
JacobsSPVPP110.0
BarbosaPFV100.0
OwreRSH950.0
GurovLNW170.0
CockxME0N220.0
DistefanoFLO190.0
MasciZJCT140.0
BhadraAWR070.0
FirstB220.0
GuaspariMP920.0
EldibWS14-00.0
CalcagnoD110.0
AndronickJKKSZZ120.0
chapman2000industrial0.0
SelvarajAF190.0
MurrayO180.0
meng2022adversarial0.0
CuoqKKPSY120.0
KleinAEMSKH140.0
Leroy090.0
CassezFQ220.0