scientific article; zbMATH DE number 2090847

zbMath1067.68051MaRDI QIDQ4813399

Stefan Schwoon, Somesh Jha, Thomas W. Reps

Publication date: 13 August 2004

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

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (8)

Model Checking Concurrent Programs ⋮ Analyzing pushdown systems with stack manipulation ⋮ Verifying parallel programs with dynamic communication structures ⋮ Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization ⋮ Stack size analysis for interrupt-driven programs ⋮ Program Analysis Using Weighted Pushdown Systems ⋮ Verifying Parallel Programs with Dynamic Communication Structures ⋮ Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order

This page was built for publication: