On the Complexity of Some Verification Problems in Process Control Specifications

DOI10.1093/comjnl/42.5.349zbMath0944.68524OpenAlexW2106069672MaRDI QIDQ4935297

Maria E. Orlowska, Arthur H. M. ter Hofstede

Publication date: 10 April 2000

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/42.5.349

Mathematics Subject Classification ID

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

This page was built for publication: On the Complexity of Some Verification Problems in Process Control Specifications