Runtime Verification using LARVA

Larva, which has been in use and continuous development for almost a decade, has been extended in several ways and used in a wide range of scenarios, from industrial deployment to educational ones. In this paper we give an overview of the runtime verification tool Larva and its extensions and uses.

[1]  Adrian Francalanza,et al.  Investigating Instrumentation Techniques for ESB Runtime Verification , 2015, SEFM.

[2]  Gordon J. Pace,et al.  A Controlled Natural Language for Business Intelligence Monitoring , 2015, NLDB.

[3]  Gordon J. Pace,et al.  A Specification Language for Static and Runtime Verification of Data and Control Properties , 2015, FM.

[4]  Adrian Francalanza,et al.  Elarva: A Monitoring Tool for Erlang , 2011, RV.

[5]  Nicolas Halbwachs,et al.  LUSTRE: A declarative language for programming synchronous systems* , 1987 .

[6]  Grigore Rosu,et al.  Dependent advice: a general approach to optimizing history-based aspects , 2009, AOSD '09.

[7]  Cristina V. Lopes,et al.  Aspect-Oriented Programming , 1997, ECOOP.

[8]  Grigore Rosu,et al.  An overview of the MOP runtime verification framework , 2012, International Journal on Software Tools for Technology Transfer.

[9]  David E. Rydeheard,et al.  MarQ: Monitoring at Runtime with QEA , 2015, TACAS.

[10]  Gordon J. Pace,et al.  Verifying data- and control-oriented properties combining static and runtime verification: theory and tools , 2017, Formal Methods Syst. Des..

[11]  Gordon J. Pace,et al.  Runtime Verification for Stream Processing Applications , 2016, ISoLA.

[12]  Gordon J. Pace,et al.  Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties , 2009, FMICS.

[13]  Gordon J. Pace,et al.  Engineering Adaptive User Interfaces Using Monitoring-Oriented Programming , 2017, 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS).

[14]  J. P. Cassar,et al.  Dynamic Automata in Larva , 2010 .

[15]  Gordon J. Pace,et al.  Fast-Forward Runtime Monitoring - An Industrial Case Study , 2012, RV.

[16]  Eric Bodden,et al.  Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time , 2010, RV.

[17]  Gordon J. Pace,et al.  Safe Runtime Verification of Real-Time Properties , 2009, FORMATS.

[18]  Gordon J. Pace,et al.  Safer asynchronous runtime monitoring using compensations , 2012, Formal Methods Syst. Des..

[19]  Gordon J. Pace,et al.  Control-Flow Residual Analysis for Symbolic Automata , 2017, PrePost@iFM.

[20]  Gordon J. Pace,et al.  LarvaStat: Monitoring of Statistical Properties , 2010, RV.

[21]  Stéphane Frénot,et al.  A Monitoring Approach for Dynamic Service-Oriented Architecture Systems , 2012 .

[22]  Gordon J. Pace,et al.  LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper) , 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.

[23]  Gordon J. Pace,et al.  A Controlled Natural Language for Tax Fraud Detection , 2016, CNL.

[24]  Gordon J. Pace,et al.  Resource-Bounded Runtime Verification of Java Programs with Real-Time Properties , 2009 .