scientific article; zbMATH DE number 2080058
From MaRDI portal
Publication:4472251
zbMath1043.68573MaRDI QIDQ4472251
Insup Lee, Hasan Ural, Hyoung Seok Hong, Oleg Sokolsky
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2280/22800327.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Integrating Topological Proofs with Model Checking to Instrument Iterative Design ⋮ State Coverage Metrics for Specification-Based Testing with Büchi Automata ⋮ Complete model-based equivalence class testing for nondeterministic systems ⋮ Combining test case generation and runtime verification ⋮ Test generation from P systems using model checking ⋮ Test-data generation for control coverage by proof ⋮ TOrPEDO : witnessing model correctness with topological proofs
Uses Software
This page was built for publication:
