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 CoroutinesHistory Variables

Mathematics Subject Classification ID

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

Related Items (1)

The Birth of Model Checking

This page was built for publication: Proving correctness of coroutines without history variables