EAN: 9783642046933

RUNTIME VERIFICATION KARTONIERT (TB)

The RV series of workshops brings together researchers from academia and - dustry that are
interested in runtime veri?cation. The goal of the RV workshops is to study the ability to
apply lightweight formal veri?cation during the exe- tion of programs. This approach
complements the o?ine use of formal methods  which often use large resources. Runtime
veri?cation methods and tools include the instrumentation of code with pieces of software that
can help to test and monitor it online and detect  and sometimes prevent  potential faults. RV
2009 was held during June 26 28 in Grenoble  adjacent to CAV 2009. The program included 11
accepted papers. Two invited talks were given by AmirPnueli on
CompositionalApproachtoMonitoringLinearTemporalLogic Properties and Sriram Rajamani on
Veri?cation  Testing and Statistics. The program also included three tutorials. We would like
to thank the members of the Program Committee and ad- tional referees for the reviewing and
participation in the discussions.

Aktuelle Preise zur EAN 9783642046933

Produktinformationen zur 9783642046933