323 search results - page 19 / 65 » Verifying the Mondex Case Study |
SGAI
2004
Springer
14 years 3 months ago
2004
Springer
Some types of animals exploit the external environment to support their cognitive processes, in the sense of patterns created in the environment that function as external mental s...
AIEDU
2008
13 years 10 months ago
2008
Problem posing is identified as an important activity in mathematics education. In problem posing, it is important but difficult for learners to generate diverse problems. In this ...
CAV
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
RTCSA
2008
IEEE
14 years 4 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
CHARME
2001
Springer
14 years 1 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...