Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/91814Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.date.accessioned | 2022-03-21T07:48:59Z | - |
| dc.date.available | 2022-03-21T07:48:59Z | - |
| dc.date.issued | 2008 | - |
| dc.identifier.citation | Colombo, C. (2008). LARVA Converter User Manual. 1-5 | en_GB |
| dc.identifier.uri | https://www.um.edu.mt/library/oar/handle/123456789/91814 | - |
| dc.description.abstract | Several notations can be used to represent properties of computer systems. We provide a conversion to LARVA for some of these notations. This document provides the information to use a suite of converters which act as a bridge from some notation to LARVA. The LARVA code generated is not complete for the simple reason that the user has to insert additional information about the relationship between the variables in the notation and the events of the system to be monitored. The application here described can also be used to check whether a counterexample formula is slowdown truth preserving and whether it is speedup truth preserving. Counterexample formulae are a subset of duration calculus for which we have proved a subset which is slowdown truth preserving and a subset which is speedup truth preserving. | en_GB |
| dc.language.iso | en | en_GB |
| dc.rights | info:eu-repo/semantics/restrictedAccess | en_GB |
| dc.subject | Electronic funds transfers -- Security measures | en_GB |
| dc.subject | Transaction systems (Computer systems) | en_GB |
| dc.subject | Business intelligence | en_GB |
| dc.subject | Computer programs -- Verification | en_GB |
| dc.title | LARVA converter user manual | en_GB |
| dc.type | other | en_GB |
| dc.rights.holder | The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder | en_GB |
| dc.description.reviewed | N/A | en_GB |
| dc.contributor.creator | Colombo, Christian | - |
| Appears in Collections: | Scholarly Works - FacICTCS | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| LARVA_converter_user_manual.pdf Restricted Access | 60.02 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.