Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
Jim Woodcock
Researcher
PaperFormally Verified Animation for RoboChart using Interaction TreesAuthorship / preprint / 2023PaperA Pattern-based deadlock-freedom analysis strategy for concurrent systemsAuthorship / preprint / 2022PaperUnifying Semantic Foundations for Automated Verification Tools in Isabelle/UTPAuthorship / preprint / 2020PaperUnifying Theories of Reactive Design ContractsAuthorship / preprint / 2019PaperLearning Safe Neural Network Controllers with Barrier CertificatesAuthorship / preprint / 2020PaperA Forward Simulation-Based Hierarchy of Linearizable Concurrent ObjectsAuthorship / preprint / 2026