scientific article; zbMATH DE number 1693453

MaRDI QIDQ2764005zbMATH OpenFDO

Authors Natasha Sharygina, Doron Peled

Publication date 22 January 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2021/20210611

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Computing methodologies and applications (68U99)

Recommendations

• Software model checking
• Adaptive Model Checking
• Model Checking Software
• Software Verification and Analysis
• Software reliability methods. Foreword by Edmund M. Clarke

Cited in

(2)

• Pragmatic Testing Protocols to Measure Software Reliability
• Discriminative Model Checking

Describes a project that uses

Uses Software

• CESAR

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2764005)