Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 4 of 4 for “"Statistical Model Checking"”.
-
Statistical guarantees of performance for RTL designs
… cycle. In this thesis, we introduce the SHARPE (Statistical High-level Analysis and Rigorous Performance Estimation) methodology. Our SHARPE methodology is a rigorous, systematic approach to verify design correctness in RTL in the presence of variations. We construct macromodels to transfer …
-
Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude
… provide an object-based framework for formally modeling DTSs in Maude, explain how such models can be automatically instrumented to record relevant events during a run, formally define a wide range of consistency properties on such histories of events, and implement a tool which fully automates …
-
Rewriting-based formal modeling, analysis and implementation of real-time distributed services
… providing a simple, elegant and efficient formal model for timed orchestration design and analysis. The rewriting specifications of the semantics of Orc is presented in three main semantics-preserving refinements in order to achieve maximum efficiency and expressiveness: (1) an SOS-based rewriting …
-
Výpočetní model a analýza samočinně řízeného vozidla
… nachází popis možných nástrojů použitelných pro modelování. Práce obsahuje návrh, popis vývoje a testování simulačního modelu ve verifikačním prostředí UPPAAL Stratego. Výsledný model je systémem vzájemně komunikujících časovaných automatů. Analýza vlastností modelu je založená na metodě …