scientific article
From MaRDI portal
Publication:2769593
zbMath0978.68641MaRDI QIDQ2769593
Willem Visser, Matthew B. Dwyer, Corina S. Păsăreanu
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2031/20310284
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (5)
Combining Model Checking and Data-Flow Analysis ⋮ Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances ⋮ Falsifying Safety Properties Through Games on Over-approximating Models ⋮ Verifying time partitioning in the DEOS scheduling kernel ⋮ Translating Java for multiple model checkers: The Bandera back-end
Uses Software
This page was built for publication:
