Development of verification and conformance testing tools for a railway signaling communication protocol

Communication and concurrency

Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations

Tableau-based model checking in the propositional mu-calculus

Rance Cleaveland · Acta Informatica · 1990 · 196 citations

Computing, Computer Science, Algorithms +13

Local model checking for infinite state spaces

Julian Bradfield, Colin Stirling · Theoretical Computer Science · 1992 · 76 citations · Full text

Computing, Computer Science, Formal Methods +13

Verification and conformance test generation of communication protocol for railway signaling systems

Jae-Dong Lee, Jae-il Jung, Jaeho Lee et al. · Computer Standards & Interfaces · 2006 · 23 citations

Computing, Computer Science, Systems Engineering +14

Formal techniques for the specification and verification of protocols

Daniel Schwabe · 1981 · 20 citations

Computing, Computer Science, Computer Networks +15