Efficient model checking algorithms for computation tree logic and their application to the verification of parallel programs

zbMath0977.68059MaRDI QIDQ5930944

Vladimir A. Zakharov, D. V. Tsarkov

Publication date: 21 January 2002

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

verification of computations of reactive systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Model of distributed computing system operation with time

This page was built for publication: Efficient model checking algorithms for computation tree logic and their application to the verification of parallel programs