Spinroot
A forum for Spin users
You are not logged in.
- Topics: Active | Unanswered
Pages: 1
#1 2022-03-04 17:50:15
- jllang
- Member
- From: Finland
- Registered: 2021-05-05
- Posts: 29
Looking for a system to model
I'm looking for a piece of real life software to model using Spin. I'm developing a tool for displaying information from counterexample traces. It'd be interesting to see my tool in action. Does anybody have suggestions on where to look for a system to model?
Offline
Pages: 1