1163 search results - page 76 / 233 » Case Studies of Model Checking for Embedded System Designs |
147
Voted
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
144
click to vote
AC
2002
Springer
15 years 4 months ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...
123
Voted
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
How soon will firms form alliances with a platform provider? What factors impact the decision and the speed with which firms first move into partnerships with a platform provider ...
160
click to vote
FMCO
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
163
click to vote
FAC
2008
15 years 4 months ago
2008
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been formulated either as OCL class invariants or as OCL pr...