scientific article; zbMATH DE number 1515293

zbMath0966.68126MaRDI QIDQ4507826

Rob Gerth, Ruurd Kuiper, Wojciech Penczek, MacIej Szreter

Publication date: 10 October 2000

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

zbMATH Keywords

state explosion problem

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)

Skeleton Abstraction for Universal Temporal Properties ⋮ An invariant-based approach to the verification of asynchronous parameterized networks ⋮ On stubborn sets in the verification of linear time temporal properties ⋮ Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic ⋮ Skeleton abstraction for universal temporal properties

This page was built for publication: