A Faithful Semantics for Generalised Symbolic Trajectory Evaluation

DOI10.2168/LMCS-5(2:1)2009zbMATH Open1163.68027OpenAlexW3105912136MaRDI QIDQ3636800

Koen Claessen, Jan-Willem Roorda

Publication date: 30 June 2009

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-5(2:1)2009

Mathematics Subject Classification ID

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

Related Items (4)

Symbolic Trajectory Evaluation ⋮ Title not available (Why is that?) ⋮ Static Analysis ⋮ Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation

This page was built for publication: A Faithful Semantics for Generalised Symbolic Trajectory Evaluation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3636800)