Proving correctness of coroutines without history variables

DOI10.1007/BF00263992zbMath0404.68016MaRDI QIDQ1256849

Edmund M. Clarke

Publication date: 1980

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

Correctness of Coroutines; History Variables

Mathematics Subject Classification ID

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

Related Items

The Birth of Model Checking