There is something similar already I thinkhttps://github.com/epfl-lara/stainless …
-
-
Replying to @DavidGregory084 @Hillelogram
Interesting. This is all new to me so I have no idea if it's similar to what daphny is doing.
1 reply 0 retweets 0 likes -
Replying to @channingwalton @DavidGregory084
Pretty similar! Most of these work by converting the clauses to SMT statements and then shelling out Z3 or similar to do the heavy lifting.
1 reply 0 retweets 1 like -
Replying to @Hillelogram @DavidGregory084
So with these toys I don't need to write QuickCheck style tests?
1 reply 0 retweets 0 likes -
Replying to @channingwalton @DavidGregory084
On one hand, you won't need to, since you're formally proving it correct. On the other hand, as you can see by this challenge, proving things are correct is a bag of dicks, so often it's more reasonable and scalable to heavily use Quickcheck
1 reply 0 retweets 2 likes -
Replying to @Hillelogram @DavidGregory084
Heh. Fair enough. I need all the help I can get so the more the merrier.
1 reply 0 retweets 1 like -
Replying to @channingwalton @DavidGregory084
Have you looked at formal specification at all? It's a great way to cut out bugs in the planning phase, and you can use it with any language. The other correctness technique I really love is checklists, but that's more of a process improvement to code than a tooling one
1 reply 0 retweets 2 likes -
Replying to @Hillelogram @DavidGregory084
No I haven't. I'm late to the party ;)
1 reply 0 retweets 1 like -
Replying to @channingwalton @DavidGregory084
Some starting links I really like on this (only two of which are mine!): https://www.youtube.com/watch?v=_9B__0S21y8 … http://muratbuffalo.blogspot.com/2018/01/why-you-should-use-modeling-with.html …https://www.hillelwayne.com/post/nix/
2 replies 0 retweets 8 likes -
I feel like I need a good goto link on finite state machines to drop on people.
@davidkpiano@lynaghk any ideas?3 replies 0 retweets 0 likes
Harel's original paper is quite accessible: http://www.inf.ed.ac.uk/teaching/courses/seoc/2005_2006/resources/statecharts.pdf … Samek's book and libraries are great and comprehensive (esp. for embedded): https://www.state-machine.com/psicc2/ My as-of-yet unnamed interactive tutorial/playground stuff should be out in the next month.
-
-
Replying to @lynaghk @Hillelogram and
I also gave a talk 3 years ago that gives some history about statecharts, as well as my firm's experience using them as the basis for a mobile app supporting wind turbine maintenance: https://keminglabs.com/talks/#yow2015
1 reply 0 retweets 2 likes -
Replying to @lynaghk @Hillelogram and
I saw it online, really good talk!
0 replies 0 retweets 1 like
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.