scientific article; zbMATH DE number 5208341

zbMath1132.68479MaRDI QIDQ5424313

Baowen Xu, Junyan Qian

Publication date: 5 November 2007

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

model checkingprogram verificationpredicate abstraction

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• PVS
• Java PathFinder
• Bandera
• CIL

This page was built for publication: