12 citations · 88 across the 34 of their papers we have counts for
Showing 2024 · cs.LOShow all
2 papers · 2 filters
cs.LO2024
Progress, Justness and Fairness in Modal -Calculus Formulae
Myrthe Spronck, Bas Luttik, Tim Willemse
When verifying liveness properties on a transition system, it is often necessary to discard spurious violating paths by making assumptions on which paths represent realistic execut…
cs.LO2024★ 2 cited
Four Formal Models of IEEE 1394 Link Layer
Hubert Garavel, Bas Luttik
We revisit the IEEE 1394 high-performance serial bus ("FireWire"), which became a success story in formal methods after three PhD students, by using process algebra and model check…