Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Edd Turner
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symmetry Reduction for B by Permutation Flooding
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Checking the Correctness of Architectural Transformation Steps via Proof-Carrying Architectures
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
System Reduction Based on Symmetry in Game Model Checking
DEStech Transactions on Computer Science and Engineering
More Anti-Chain Based Refinement Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symmetry Reduction in CSP Model Checking
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Symmetry in Temporal Logic Model Checking
ACM Computing Surveys
Computer Science
Theoretical Computer Science
Exploiting Symmetry in Temporal Logic Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Specification and Refinement in General Correctness
Checking Correctness of TypeScript Interfaces for JavaScript Libraries
OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models
Journal of Applied Mathematics
Applied Mathematics
