Efficient and user-friendly verification
From MaRDI portal
Publication:4571313
DOI10.1109/12.980017zbMath1392.68266OpenAlexW2008379855MaRDI QIDQ4571313
Publication date: 9 July 2018
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/172f1a28bd85d75e1020f6d2ce9c7850565b709f
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
This page was built for publication: Efficient and user-friendly verification