A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst

First Page		Document Content
Date: 2012-12-17 05:23:36 Software development Aspect-oriented software development Aspect-oriented programming Formal methods Logic in computer science Runtime verification Pointcut Formal verification Join point Instrumentation		A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst Add to Reading List Source URL: www.cs.man.ac.uk Download Document from Source Website File Size: 544,89 KB Share Document on Facebook