Elarva Compiler Manual Rudolph Gatt May 2011 Contents 1 Introduction 1 EV VES eii tones AS a A dn CE A 1 12 Elva Desi a A ge al o ae asthe e e es 1 TAL Specification s sid o is rs ide dia 1 1 2 2 Instrumentation aii dr a dea 2 L23 Monitoring o A AS AA AA 2 1 2 4 Handling Violations sa ale PES 3 1 2 5 Mitigating the impact of verification 4 1 3 Document Outline los hee od EY Ee Be eee 4 2 Language Specification 6 ZOU ROCCO zo tc ak car Gag e t arty
LARVA System User Manual Christian Colombo May 25 2015 Contents 1 Introduction 1 1 Runtime Verification 1 2 The General Picture 222 22 IE I IE 1 3 Advantages of the System 0 o e e 1 4 Example 22 Sande Innern 1 421 Eventscu 4 ee ee ch ac E oP A ede hte ae era 1 4 2 Variables and Actions 2 2 2 22 2 mn nn 1 43 Conditions Ar 2 2 2a Sa Sa ee Re Bele a 1 5 Document Outline Composing the Script ZA Global ata tt da e a a 2
g ARVA Lohnt LarvaLight User Manual LarvaLight is a simple tool enabling the user to succinctly specify monitors which trigger upon events of an underlying Java system namely method calls and returns If the events and their parameters lead the monitor to a bad state then an assertion failure is triggered alerting the user The rest of this document explains how monitors can be specified in LarvaLight and how they can be used to assert a system s behaviour For a quick sta