Verifying interactive Web programs

Model checking

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

Patterns in property specifications for finite-state verification

Matthew B. Dwyer, George S. Avrunin, James C. Corbett · 1999 · 1.4K citations

Computing, Computer Science, Mathematics +13

An Automata-Theoretic Approach to Automatic Program Verification

Moshe Y. Vardi, Pierre Wolper · ORBi (University of Liège) · 1986 · 1.3K citations · Full text

Computing, Computer Engineering, Computer Science +14

Characterizing browsing strategies in the World-Wide web

Lara D. Catledge, James E. Pitkow · Computer Networks and ISDN Systems · 1995 · 937 citations

Business, Information Systems, Information Retrieval +11

Recognizing safety and liveness

Bowen Alpern, Fred B. Schneider · Distributed Computing · 1987 · 552 citations

Engineering, Systems Engineering, Safety Engineering +7