Representing and Reasoning with Operational Semantics
From MaRDI portal
Publication:3613396
DOI10.1007/11814771_3zbMath1222.68113MaRDI 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
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography, A rewriting logic approach to operational semantics
Uses Software