scientific article; zbMATH DE number 3566118

MaRDI QIDQ4138073zbMATH OpenFDO

Authors J. J. Bicevskis, A. A. Kalnin'Sh, Ja. M. Barzdin'

Publication date 1977

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited in

(5)

• Deciding properties of integral relational automata
• Algorithmic analysis of programs with well quasi-ordered domains.
• Model checking of systems with many identical timed processes
• Ensuring completeness of symbolic verification methods for infinite-state systems
• Automatic construction of test sets: theoretical approach

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4138073)