Pinned Repositories
allanmcinnes.github.io
Thoughts on engineering and software development
CSP-CTL-model-checker
A CTL model-checker implemented in CSPm for the FDR refinement checker
CSP-Libraries
Libraries useful for building various kinds of CSP models
logicsim
A simple discrete-event logic simulator
rust_linear_systems
Playing around with discrete-time linear systems in Rust
SimpleEventExample
allanmcinnes's Repositories
allanmcinnes/SimpleEventExample
allanmcinnes/allanmcinnes.github.io
Thoughts on engineering and software development
allanmcinnes/CSP-CTL-model-checker
A CTL model-checker implemented in CSPm for the FDR refinement checker
allanmcinnes/CSP-Libraries
Libraries useful for building various kinds of CSP models
allanmcinnes/logicsim
A simple discrete-event logic simulator
allanmcinnes/rust_linear_systems
Playing around with discrete-time linear systems in Rust