Model checking real-time conditional commitment logic using transformation

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

Reasoning about knowledge

Mathematical Social Sciences · 1994 · 3.6K citations

Proceedings of the 16th international joint conference on Artificial Intelligence - IJCAI '99

Simon Colton, Alan Bundy, Toby Walsh · 1999 · 2.5K citations

Computing, Computer Engineering, Computer Science +12

Specifying real-time properties with metric temporal logic

Ron Koymans · Real-Time Systems · 1990 · 1.2K citations

Computing, Computer Systems, Formal Methods +12

Model checking

Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis · Communications of the ACM · 2009 · 252 citations · Full text

Computing, Computer Engineering, Computer Science +16