328 search results - page 45 / 66 » Model Checking for Combined Logics with an Application to Mo... |
FMSD
2006
13 years 8 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
TACAS
1998
Springer
14 years 20 days ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
ICFEM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
CODES
2004
IEEE
14 years 6 days ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...
ECSA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the d...