A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL
From MaRDI portal
Publication:541222
DOI10.1016/j.tcs.2011.01.032zbMath1244.68053MaRDI QIDQ541222
Yongjian Li, William N. N. Hung, Xiaoyu Song
Publication date: 6 June 2011
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2011.01.032
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software