3147 search results - page 455 / 630 » Open-Source Model Checking |
140
click to vote
FM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
108
click to vote
MODELS
2009
Springer
15 years 8 months ago
2009
Springer
Variability management in operating systems is an errorprone and tedious task. This is especially true for the Linux operating system, which provides a specialized tool called Kco...
108
click to vote
MEMOCODE
2006
IEEE
15 years 8 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
113
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
119
Voted
ICFEM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...