Sfoglia per Autore
AsmetaSMV : a model checker for AsmetaL models. Tutorial
2009 P. Arcaini, A. Gargantini, E. Riccobene
Automatic review of Abstract State Machines by meta-property verification
2010 P. Arcaini, A. Gargantini, E. Riccobene
AsmetaSMV : a way to link high-level ASM models to low-level nuSMV specifications
2010 P. Arcaini, A. Gargantini, E. Riccobene
Runtime monitoring of Java programs by Abstract State Machines
2010 P. Arcaini, A. Gargantini, E. Riccobene
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions
2011 P. Arcaini, A. Gargantini, E. Riccobene
A model advisor for NuSMV specifications
2011 P. Arcaini, A. Gargantini, E. Riccobene
A model-driven process for engineering a toolset for a formal method
2011 P. Arcaini, A. Gargantini, E. Riccobene, P. Scandurra
Equivalence checking of NuSMV specifications
2011 P. Arcaini, A. Gargantini, E. Riccobene
Components monitoring through formal specifications
2012 P. Arcaini, A. Gargantini, E. Riccobene
CoMA : Conformance Monitoring of Java Programs by Abstract State Machines
2012 P. Arcaini, A. Gargantini, E. Riccobene
Formal Semantics for Metamodel-Based Domain Specific Languages
2012 P. Arcaini, A. Gargantini, E. Riccobene, P. Scandurra
Test Generation for Sequential Nets of Abstract State Machines
2012 P. Arcaini, F. Bolis, A. Gargantini
The ASMETA framework
2012 P. Arcaini, A. Gargantini, E. Riccobene, P. Scandurra
epop : an Eclipse-based Extensible Research Evaluator
2012 P. Arcaini, A. Gargantini, E. Riccobene
Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism
2013 P. Arcaini, A. Gargantini, E. Riccobene
TOOL-ASSISTED VALIDATION AND VERIFICATION TECHNIQUES FOR STATE-BASED FORMAL METHODS
2013 P. Arcaini
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions
2017 P. Arcaini, A. Gargantini, E. Riccobene
Formal Design and Verification of Self-Adaptive Systems with Decentralized Control
2017 P. Arcaini, E. Riccobene, P. Scandurra
NuSeen: A Tool Framework for the NuSMV Model Checker
2017 P. Arcaini, A. Gargantini, E. Riccobene
SMT for state-based formal methods: the ASM case study
2018 P. Arcaini, A. Gargantini, E. Riccobene:
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile