Efficient and user-friendly verification

DOI10.1109/12.980017MaRDI QIDQ4571313zbMATH OpenOpenAlexFDO

Authors Farn Wang, Pao-Ann Hsiung

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

Mathematics Subject Classification ID

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

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