Counting Paths: Nondeterminism as Linear Algebra
From MaRDI portal
Publication:3216112
DOI10.1109/TSE.1984.5010307zbMath0553.68006MaRDI QIDQ3216112
Publication date: 1984
Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)
spectral radius; nonnegative matrices; nondeterministic programs; actual state transition sequence; convergent iterative programs; deterministic divergence; nondeterministic divergence
68Q60: Specification and verification (program logics, model checking, etc.)
68N25: Theory of operating systems
Related Items