Thomas Gibson-Robinson

From MaRDI portal
Person:510896

Available identifiers

zbMath Open gibson-robinson.thomasMaRDI QIDQ510896

List of research outcomes





PublicationDate of PublicationType
Checking Static Properties Using Conservative SAT Approximations for Reachability2022-11-04Paper
The Automatic Detection of Token Structures and Invariants Using SAT Checking2020-08-05Paper
Tighter reachability criteria for deadlock-freedom analysis2020-01-03Paper
Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving2019-06-03Paper
FDR: from theory to industrial application2018-03-26Paper
Computing maximal weak and other bisimulations2017-02-14Paper
FDR3 — A Modern Refinement Checker for CSP2015-02-10Paper

Research outcomes over time

This page was built for person: Thomas Gibson-Robinson

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:510896&oldid=11951576"
Powered by MediaWiki