Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation

Applying 'design by contract'

Bertrand Meyer · Computer · 1992 · 2.1K citations

Computing, Computer Science, Design +15

Proceedings of the International Symposium

Dominique A. Vuitton, Laurence Millon, Bruno Gottstein et al. · Parasite · 2014 · 760 citations · Full text

Medicine, Pathology, Radiology +17

Runtime Verification for LTL and TLTL

Andreas Bauer, Martin Leucker, Christian Schallhart · ACM Transactions on Software Engineering and Methodology · 2011 · 540 citations

Computing, Computer Science, Computer Systems +16

Compositional model checking

E. M. Clarke, David E. Long, Kenneth L. McMillan · 2003 · 471 citations

Computing, Computer Science, Computer Systems +11

Composing specifications

Martı́n Abadi, Leslie Lamport · ACM Transactions on Programming Languages and Systems · 1993 · 459 citations · Full text

Computing, Computer Science, Systems Engineering +17