Deviation Analysis: A New Use of Model Checking

Model checking

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

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

Computing, Computer Science, Compilers +8

The synchronous data flow programming language LUSTRE

Nicolas Halbwachs, P. Caspi, Pascal Raymond et al. · Proceedings of the IEEE · 1991 · 1.5K citations · Full text

Computing, Computer Science, Computer Systems +15

Software requirements analysis for real-time process-control systems

Matthew Jaffe, Nancy G. Leveson, Mats P. E. Heimdahl et al. · IEEE Transactions on Software Engineering · 1991 · 231 citations · Full text

Engineering, Computer Science, Systems Engineering +16

Institution of Chemical Engineers

J. Artur Reavell · Angewandte Chemie · 1930 · 220 citations

Engineering, Chemical Engineering, Chemistry +12