138 result(s)
Page Size: 10, 20, 50
Export: bibtex, xml, json, csv
Order by:

CNR Author operator: and / or
more
Typology operator: and / or
Language operator: and / or
Date operator: and / or
more
Rights operator: and / or
2003 Software Unknown
UMCTools
Mazzanti F.

See at: CNR ExploRA

2003 Software Unknown
FMCTools
Mazzanti F.
no avaible

See at: CNR ExploRA

2008 Software Unknown
CMC_ model checker per la logica SOCL
Mazzanti F.
No abstract avaible

See at: CNR ExploRA

2006 Software Unknown
PSC V0.4
Franco Mazzanti
Strumento software per la simulazione di sistemi descritti tramite l'algebra di processo PSC.

See at: CNR ExploRA

2006 Software Unknown
UMC V3.3
Mazzanti F.
Strumento sofware per la modellazzione e la verifica formale (model checking) di sistemi concorrenti descritti tarmite statecharts.

See at: CNR ExploRA

2006 Software Unknown
COWS V0.2
Mazzanti F.
Strumento sofware per la simulazione di sistemi descritti tramite l'algebra di processo COWS.

See at: CNR ExploRA

2007 Software Unknown
CMC: COWS model checker version 0.4
Mazzanti F.
Model checker prototipale per il linguaggio di specifica COWS, sviluppato nell'ambito del progetto Sensoria

See at: CNR ExploRA

2009 Report Open Access OPEN
Designing UML models with UMC
Mazzanti F.
Guida al disegno di modelli UML per il tools UMC v3.6Source: ISTI Technical reports, 2009

See at: ISTI Repository Open Access | CNR ExploRA

1989 Contribution to conference Unknown
Reducing unpredictability in Ada executions
Mazzanti F.
No abstract availableSource: Ada 9x Requirements Workshop, Destin, Florida (USA), May 1989

See at: CNR ExploRA

2003 Report Unknown
D2.3b: Modal Logics for Behavioural Properties of Mobile Systems
Gnesi S., Mazzanti F.
Not availableSource: Project report, AGILE, Deliverable D2.3b, 2003

See at: CNR ExploRA

2013 Report Unknown
CBTC.AGEN.0023_00_06 Protocollo ATS-ATC
Spagnolo G. O., Mazzanti F.
Tecnical report of Protocol ATS-ATC.Source: ISTI Technical reports, 2013

See at: CNR ExploRA

2013 Report Unknown
CBTC.ATS.0003_00_03 ATS Specifica dei requisiti di Sistema
Spagnolo G. O., Ferrari A., Mazzanti F., Della Longa S.
Requirements ATS System.Source: ISTI Technical reports, 2013

See at: CNR ExploRA

2014 Report Unknown
CBTC.ATS.006_00_03 Documentazione prototipo ATS
Spagnolo G. O., Ferrari A., Mazzanti F., Della Longa S.
Documentation Prototype ATS.Source: ISTI Technical reports, 2014

See at: CNR ExploRA

1998 Other Unknown
Formal verification of fault tolerant mechanisms by model-checking.
Bernardeschi C., Fantechi A., Gnesi S., Mazzanti F., Santone A.
FORTE/PSTV'98 Conference. Tool demonstrations proceedings (Parigi, 1998).

See at: CNR ExploRA

1985 Conference article Restricted
The use of Ada in the design of distributed systems
Inverardi P., Mazzanti F., Montangero C.
No abstract availableSource: Proceedings of the ADA International Conference, pp. 85–96, Cambridge, UK, 1985
DOI: 10.1145/324426.324384
Metrics:


See at: www.scopus.com Restricted | CNR ExploRA

2021 Software Unknown
Formal models of the SAI/CSL system of the 4SECURail case study
Mazzanti F., Belli D.
Formal models of 4SECURAIL case study in the notation accepted by UMC, ProB, CADP/LNTDOI: 10.5281/zenodo.5541307
Project(s): 4SECURAIL via OpenAIRE
Metrics:


See at: CNR ExploRA

2023 Software Unknown
Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect - Complementary data
Basile D., Mazzanti F., Ferrari A.
This repository contains the UMC and SPARX EA data used in the paper: Experimenting with Formal Verification and Model-based Development in Railways: the case of UMC and Sparx Enterprise Architect by Davide Basile, Franco Mazzanti and Alessio Ferrari.DOI: 10.5281/zenodo.7920448
Project(s): 4SECURAIL via OpenAIRE
Metrics:


See at: CNR ExploRA

2010 Contribution to conference Unknown
SEFM 2010 - Poster and Tool Demo Session Proceedings
Mazzanti F., Trentanni G.
Proceedings of the Poster and Tool Demo Session during the 8th IEEE International Conference on Software and Formal Methods (SEFM 2010) - CNR, Pisa, Italy 13-18 September 2010Source: Pisa: CNR-Area Ricerca Pisa, 2010

See at: CNR ExploRA

2008 Other Unknown
SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI)
Gnesi S., Latella D., Massink M., Mazzanti F., Sulova A., Ter Beek M. H.
No abstract avaible

See at: CNR ExploRA

2005 Report Open Access OPEN
Formal verification of the MUD case study
Gnesi S., Mazzanti F.
In this paper we present the latest advances of the UMC verification environment and the results of its experimental application to the AGILE MUD case study.Source: ISTI Technical reports, 2005

See at: ISTI Repository Open Access | CNR ExploRA


Privacy Policy