https://github.com/xzippyzachx/wealthsimple-formal-model

Modeling and validation project for EECS4315 mission critical systems
https://github.com/xzippyzachx/wealthsimple-formal-model

Last synced: 8 days ago
JSON representation

Modeling and validation project for EECS4315 mission critical systems

• Host: GitHub
• URL: https://github.com/xzippyzachx/wealthsimple-formal-model
• Owner: xzippyzachx
• Created: 2024-02-07T14:28:22.000Z (11 months ago)
• Default Branch: main
• Last Pushed: 2024-04-16T16:10:27.000Z (8 months ago)
• Last Synced: 2024-10-29T21:11:24.616Z (about 2 months ago)
• Homepage:
• Size: 34.2 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Wealthsimple Formal Model

Modeling and validation project for EECS4315 mission critical systems

# Requirements

This project requires the CADP toolbox (https://cadp.inria.fr)

# How to run

Run full state coverage with validation:

```

svl demo

```

Run on-the-fly with custom maxBalance and maxStock parameters:

```

lnt.open -root 'Main([maxBalance],[maxStock])' WealthSimple.lnt ocis

```

# Model Architecture

![image](https://github.com/xzippyzachx/wealthsimple-formal-model/assets/33043402/6f7703a4-c5ae-425e-a211-37512323d44b)

# Version History

The [Version History](https://github.com/xzippyzachx/wealthsimple-formal-model/tree/main/VersionHistory) contains the iteration of lnt as we developed each iteration of the model (m0-m2) and the iteration of lnt as we fixed issues found during validation (v0-v2)

# Contributors

- Ahmed El Dib

- Walid AlDari

- Zachary Ross