search

imandra-ai / imandra-docs

Imandra Documentation
https://docs.imandra.ai/imandra-docs/
7 stars 4 forks source link

feat(nb/conflict-detection): add a new `conflict-detection` notebook … #195

Closed Bronsa closed 1 year ago

Bronsa commented 1 year ago

…solving Sonatus's concurrent resource access conflict problems