Roger Sen5d ago

To the #formalmethods community.

I have extensive programming experience and I want to get into #formalmethods, with the objective of formalising algorithms that work with time intervals.

I have started with Lean, but I have the feeling it is too low level for what I need.

What do you recommend?

Please re-tweet.

Show threadmeartur
@rogersm Maybe you want something like Timed Automata or Time Petri Nets?
Apr 10 at 8:56amWeb
Show threadRoger Sen4d ago

@meartur never though about that. But I don’t know, I don’t want to model processes, but algorithms that handle complex data types in multiple time periods.

I suppose that may be some kind of equivalence to a petrol model. I need to investigate.

Thx