3 ms·
A model checker for timed-automata. I'm currently working my way through "Timed Automata: Semantics, Algorithms and Tools" and I'm going to implement the shown
by leeuw01 6y ago
A model checker for timed-automata.
I'm currently working my way through "Timed Automata: Semantics, Algorithms and Tools" and I'm going to implement the shown algorithms.
- didizaja 6y agoVery neat, I'd never heard of timed-automata before. I read a bit about it after seeing this comment and can definitely see the appeal in such a project. I'm fascinated by how timed-automata can be used as models for real-time systems, and how presumably, a model checker used in that context would allow one to verify their behavior. It seems like a very neat connection between CS theory and real-world systems.