An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation

Model checking

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

The model checker SPIN

Gerard J. Holzmann · IEEE Transactions on Software Engineering · 1997 · 3.8K citations

Computing, Computer Engineering, Computer Science +12

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.6K citations · Full text

Computing, Computer Science, Formal Methods +16

Usability inspection methods

Jakob Nielsen · 1995 · 2.6K citations · Full text

Arts, Computer Science, User Experience Design +3

IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview

R. Bell · 1999 · 1.6K citations

Engineering, Electrical Engineering, Systems Engineering +16