René Dudfield on Nostr: Been looking at using formal methods with #tlaplus Mind bending! If you model things ...
Been looking at using formal methods with #tlaplus Mind bending! If you model things as state machines the model checker can check the specification for you. Often it's used in distributed systems, but it can be used for any sort of state machines really. I made a model for the simple #game pong...
https://github.com/illume/pong-tlaplusI can see how it could be used in other types of UI too. As long as you use something like #redux where actions work on state.
Published at
2023-10-03 19:42:28Event JSON
{
"id": "ba0af0a909381103488919456cdc883a3e5c4bcda4fcc1a6a68afa835172e2c7",
"pubkey": "ee604261839f22bd0988b606b1d79249fc60b78c54e74b087f4cc6fbfa49e4f4",
"created_at": 1696362148,
"kind": 1,
"tags": [
[
"t",
"tlaplus"
],
[
"t",
"game"
],
[
"t",
"redux"
],
[
"proxy",
"https://fosstodon.org/users/renedudfield/statuses/111172789762725374",
"activitypub"
]
],
"content": "Been looking at using formal methods with #tlaplus Mind bending! If you model things as state machines the model checker can check the specification for you. Often it's used in distributed systems, but it can be used for any sort of state machines really. I made a model for the simple #game pong... https://github.com/illume/pong-tlaplus\n\nI can see how it could be used in other types of UI too. As long as you use something like #redux where actions work on state.",
"sig": "f857ae9856869f19069d5357817f96d481ead3e37fb921f1b4254a05648b49ea6014bc74428b59f45b1db2468a563c01fd1525b4892b42c25e6ecce9290234ee"
}
