FM 2005: Formal Methods

DOI10.1007/b27882zbMath1120.68354OpenAlexW1497681073MaRDI QIDQ5716908

No author found.

Publication date: 10 January 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b27882

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items

Combining Model Checking and Testing ⋮ Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API ⋮ Implementation relations and test generation for systems with distributed interfaces ⋮ A Random Testing Approach Using Pushdown Automata ⋮ Composing model programs for analysis ⋮ Composition of Model Programs ⋮ Test generation from state based use case models ⋮ SpecExplorer ⋮ Integration of verification methods for program systems ⋮ Play to Test