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 radiusnonnegative matricesnondeterministic programsactual state transition sequenceconvergent iterative programsdeterministic divergencenondeterministic divergence
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items (1)
This page was built for publication: Counting Paths: Nondeterminism as Linear Algebra