Representing and Reasoning with Operational Semantics

DOI10.1007/11814771_3zbMath1222.68113OpenAlexW1493799155MaRDI QIDQ3613396

No author found.

Publication date: 12 March 2009

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.7732

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (6)

The rewriting logic semantics project: a progress report ⋮ A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography ⋮ A rewriting logic approach to operational semantics ⋮ The Rewriting Logic Semantics Project: A Progress Report ⋮ A Rewriting Logic Approach to Operational Semantics (Extended Abstract)

Uses Software

• PVS
• Nuprl
• PoplMark

This page was built for publication: Representing and Reasoning with Operational Semantics