2881 search results - page 440 / 577 » Model Checking for Programming Languages using Verisoft |
184
Voted
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Addressing this challenge requires adva...
138
Voted
KBSE
1997
IEEE
15 years 9 months ago
1997
IEEE
There are a number of competing component models in use today. Most are language-independent, but also platform-dependent and not designed to support a tool-based development para...
153
click to vote
SP
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
156
click to vote
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
This paper reports on a panel discussion held during the Educators’ Symposium at MODELS’2009. It shortly explains the context provided for the discussion and outlines the state...
156
Voted
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Predefined composite operations are handy for efficient modeling, e.g., for the automatic execution of refactorings, and for the introduction of patterns in existing mod...