Wolf -- bug hunter for concurrent software using formal methods

DOI10.1007/11513988_16MaRDI QIDQ5716549zbMATH OpenOpenAlexFDO

Authors Sharon Barner, Ziv Glazberg, Ishai Rabinovitz

Publication date 10 January 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b138445

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• C Wolf -- A toolset for extracting models from C programs
• scientific article; zbMATH DE number 1860613
• Software verification with BLAST
• Truth/SLC -- a parallel verification platform for concurrent systems
• Bounded model checking of concurrent programs

Cited in

(2)

• Wolf
• C Wolf -- A toolset for extracting models from C programs

Describes a project that uses

Uses Software

• Java PathFinder

This page was built for publication: Wolf -- bug hunter for concurrent software using formal methods

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