Esperienza e formazione
-
UniCredit
Vedi l’esperienza completa di Riccardo
Vedi la qualifica, la durata dell’impiego e altro.
oppure
Licenze e certificazioni
-
-
-
-
-
Formazione Generale alla Prevenzione e alla Sicurezza sul Lavoro
Università degli studi di Parma
Emissione:ID credenziale ATECO : M - 85 ISTRUZIONE
Esperienze di volontariato
Pubblicazioni
-
AsmetaF: a flattener for the ASMETA framework
Open Publishing Association
Presented in 4th Workshop on Formal Integrated Development Environment (F-IDE 2018), Oxford, UK, July 14, 2018
ABSTRACT:
Abstract State Machines (ASMs) have shown to be a suitable high-level specification method for complex, even industrial, systems; the ASMETA framework (asmeta.sourceforge.net), supporting several validation and verification activities on ASM models, is an example of a formal integrated development environment. Although ASMs allow modeling complex systems in a rather…Presented in 4th Workshop on Formal Integrated Development Environment (F-IDE 2018), Oxford, UK, July 14, 2018
ABSTRACT:
Abstract State Machines (ASMs) have shown to be a suitable high-level specification method for complex, even industrial, systems; the ASMETA framework (asmeta.sourceforge.net), supporting several validation and verification activities on ASM models, is an example of a formal integrated development environment. Although ASMs allow modeling complex systems in a rather concise way -and this is advantageous for specification purposes-, such concise notation is in general a problem for verification activities as model checking and theorem proving that rely on tools accepting simpler notations. In this paper, we propose a flattener tool integrated in the ASMETA framework that transforms a general ASM model in a flattened model constituted only of update, parallel, and conditional rules; such model is easier to map to notations of verification tools. Experiments show the effect of applying the tool to some representative case studies of the ASMETA repository.Altri autori -
Progetti
-
NASL Plugins
Vedi progettoCollection of plugins written in NASL language. NASL is a scripting language designed for the Nessus security scanner.
-
DictionaryMaker
Vedi progettoDictionaryMaker is a Java app that creates dictionaries of keys with every type of personalization.
-
NAMF
Vedi progettoCollection of Matlab functions for numerical analysis. (Numerical Analysis MATLAB Functions)
-
Prometheus
-
Prometheus rileva, traccia e notifica l'eccessivo utilizzo dello smarthphone
Altri creatori -
Lingue
-
Italiano
Conoscenza madrelingua o bilingue
-
Inglese
Conoscenza professionale
Altri profili simili
Esplora altri post
Altre persone che si chiamano Riccardo Melioli in Italia
Su LinkedIn ci sono altre 4 persone che si chiamano Riccardo Melioli in Italia
Vedi altre persone che si chiamano Riccardo Melioli