scientific article; zbMATH DE number 1059330
From MaRDI portal
Publication:4353637
zbMath0883.68090MaRDI QIDQ4353637
Publication date: 10 September 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (5)
Feature interaction detection by pairwise analysis of LTL properties -- A case study ⋮ Model Checking Linear-Time Properties of Probabilistic Systems ⋮ Quantitative Analysis under Fairness Constraints ⋮ Stubborn Sets, Frozen Actions, and Fair Testing ⋮ Compositional State Space Reduction Using Untangled Actions
Uses Software
This page was built for publication:
