Logic for Programming, Artificial Intelligence, and Reasoning

DOI10.1007/b106931zbMath1108.68486OpenAlexW4206255911MaRDI QIDQ5705922

Orna Kupferman, Benjamin Aminof, Thomas Ball

Publication date: 10 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b106931

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Related Items (3)

On fairness and randomness ⋮ Simulation relations for fault-tolerance ⋮ Automated constraint-based addition of nonmasking and stabilizing fault-tolerance

This page was built for publication: Logic for Programming, Artificial Intelligence, and Reasoning