Model verification
5 Followers
Recent papers in Model verification
paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended functions, we identify and build formal models of security threats,... more
To forecast skier-triggered avalanches, stability, snowpack and meteorological variables, and records of previous avalanche activity are typically used. The relative importance of, and interaction between, variables used to forecast... more
The Waterways Experiment Station has developed dynamic numerical hydraulic and water quality simulation models of the Missouri River reaches downstream of Fort Peck, Garrison, and Fort Randall Dams in support of Master Water Control... more
The paper describes a model-integrated approach for embedded software development that is based on domain-specific, multiple-view models used in all phases of the development process. Models explicitly represent the embedded software and... more
We present an all-sky map synthesized between 139 MHz and 174 MHz using data from both arrays that reaches down to 80 mJy (4.9 K, for a beam size of 2.15e-5 steradians at 154 MHz), with a 10 mJy (620 mK) thermal noise level that indicates... more
In industry, many business processes are modelled and stored in En- terprise Information Systems (EIS). Tools supporting the verification and vali- dation of business processes can help to improve the quality of these business processes.... more
Conventional practice in modelling requires checking that the model implementation is correct with respect to its conceptualisation (verification) and that corresponds to and explains the real world phenomenon modelled (validation).... more