528 search results - page 12 / 106 » Construction of concrete verification models from C |
153
click to vote
JSW
2008
15 years 6 months ago
2008
The central idea in reference modeling is the reutilization of the business knowledge contained in a reference model. The user's task in reference model-based construction is ...
203
click to vote
IIE
2007
15 years 6 months ago
2007
This paper describes a didactical Computer Aided Software Engineering (CASE)-tool that was developed for use within the context of a course in object-oriented domain modelling. In...
181
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
178
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
166
click to vote
UML
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...