IsoLA’12: Runtime Verification, the Application Perspective

With Lenore D. Zuck, we are organizing a track at IsoLA’12:

Runtime Verification, the Application Perspective

In the past decade Runtime Verification (RV) has gained much focus, from both research community and practitioners. Roughly speaking, RV combines a set of theories, techniques and tools aiming towards efficient analysis of systems’ executions and guaranteeing their correctness using monitoring techniques. One of the major challenges in RV is characterizing and formally expressing requirements that can be monitored.

With the major strides made in recent years, much effort is still needed to make RV an attractive and viable methodology for industrial use. In addition to industry, numerous other domains, such as security, bio-health monitoring, etc., can gain from RV.

The purpose of the “Runtime Verification: the application perspective” track at ISoLA’12 is to bring together experts on runtime verification and potential application domains to try and advance the state-of-the-art on how to make RV more useable and attractive to industry and other disciplines.

We are expecting contributions from a panel of well-recognized RV experts including Saddek Bensalem, Marius Bozga, Azadeh Farzan, Bernd Finkbeiner, Mark Grechanik, Klaus Havelund, Sylvain Hallé, Holger Hermanns, Kim Larsen, Axel Legay, Martin Leucker, Laurent Mounier, Gerardo Schneider, Gordon Pace, Doron Peled.

An exciting program on the way.