scientific article; zbMATH DE number 1953278

zbMATH Open1026.68511MaRDI QIDQ4414730FDOQ4414730

Authors: John Hatcliff, Matthew B. Dwyer, Robby, Corina S. Păsăreanu 

Publication date: 27 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2566/25660172.htm

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1860613
• scientific article; zbMATH DE number 1863159
• Software model checking
• Translating Java for multiple model checkers: The Bandera back-end
• scientific article; zbMATH DE number 1670561

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (7)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A semantic framework for the abstract model checking of tccp programs
• An abstract interpretation toolkit for \(\mu\)CRL
• Title not available (Why is that?)
• Translating Java for multiple model checkers: The Bandera back-end

Uses Software

• SPIN
• PVS
• Java PathFinder
• Bandera
• Bebop

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 Q4414730)