scientific article
From MaRDI portal
Publication:4037091
zbMath0786.68059MaRDI QIDQ4037091
Jean Christophe Madre, Christian Berthet, Olivier Coudert
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
temporal logicBoolean functionbehavioral equivalenceverification algorithmtyped decision graphsverification of sequential machines
Related Items (4)
On the complexity of analysis and manipulation of Boolean functions in terms of decision graphs ⋮ The Birth of Model Checking ⋮ Structuring and automating hardware proofs in a higher-order theorem- proving environment ⋮ An experience in proving regular networks of processes by modular model checking
This page was built for publication:
