2407 search results - page 369 / 482 » A Tool for Abstraction in Model Checking |
169
click to vote
CAI
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. The concatenation product is one of the most important operations on regular languages. Its study requires sophisticated tools from algebra, ļ¬nite model theory and proļ...
169
Voted
GPCE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Domain-Speciļ¬c Languages (DSLs) represent a proven approach to raising the abstraction level of programming. They oļ¬er highlevel constructs and notations dedicated to...
194
Voted
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Enabling coordination among ubiquitous computing applicad resources requires programming abstractions and development tools tailored to this unique environment. This pape...
163
Voted
FORMATS
2006
Springer
15 years 9 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
280
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...