scientific article; zbMATH DE number 2087636

zbMath1077.68684MaRDI QIDQ4738485

Alex Groce, Willem Visser

Publication date: 11 August 2004

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

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

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

Directed Model Checking for B: An Evaluation and New Techniques ⋮ Combining test case generation and runtime verification ⋮ Abstract reduction in directed model checking CCS processes ⋮ Using heuristic search for finding deadlocks in concurrent systems ⋮ Verifying time partitioning in the DEOS scheduling kernel

This page was built for publication: