DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Jim Woodcock
Jim Woodcock
Verification and Formal Methods
August 2018 FACS a C T S
4Th International Symposium on Unifying Theories of Programming
On a New Notion of Partial Refinement
\Chapter{Phoenix Foundation}
Transformation Rules for Z
Mondex, an Electronic Purse : Specification and Refinement Checks
A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic
The COMPASS Modelling Language: Timed Semantics in UTP
Verification and Formal Methods
A Chain Datatype in Z∗
Formal Methods: Practice and Experience
Heterogeneous Semantics and Unifying Theories
Formal Methods: State of the Art and Future Directions EDMUND M
FACS FACTS Newsletter in 2006
Formal Methods: Practice and Experience
Slides for the Presentation at ENS (PDF)
Certifying Checksum-Based Logging in the Rapidfscq Crash-Safe
Top View
Special Section on Software Systems 2021
Unifying Theories in Proofpower-Z
UTP by Example : Designs
Formal Methods Past, Present, and Future
Roscoe on the Occasion of His 60Th Birthday
Software Engineering for Robotics Ana Cavalcanti • Brijesh Dongol • Rob Hierons • Jon Timmis • Jim Woodcock Editors
Refinement Based Methods for the Construction of Dependable Systems
Arxiv:1812.08815V3 [Cs.SE] 22 Sep 2020 H Rn O 381212925
September 2008
Arxiv:2006.06327V3 [Cs.SE] 24 Jan 2021 Applications of Formal Methods; [WLBF09] Offers a Broader Survey
Operational Semantics for Model Checking Circus
A Verified Implementation of a Control System
Arxiv:1806.02101V2
SSIRI 2010: Keynote Speakers
Sound Simulation and Co-Simulation for Robotics
New Opportunities for Integrated Formal Methods
Formal Methods
Curriculum Vitae
Lecture Notes in Computer Science 5902 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan Van Leeuwen
Alan Turing and Oxford
Formal Methods: Practice and Experience