All You Need Is Compassion

DOI10.1007/978-3-540-78163-9_21zbMath1138.68457OpenAlexW1604885057MaRDI QIDQ5452720

Yaniv Sa'ar, Amir Pnueli

Publication date: 4 April 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-78163-9_21

Mathematics Subject Classification ID

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

Related Items (3)

Liveness in broadcast networks ⋮ Model checking with fairness assumptions using PAT ⋮ Proving the Refuted: Symbolic Model Checkers as Proof Generators

Uses Software

• PVS

This page was built for publication: All You Need Is Compassion