2881 search results - page 445 / 577 » Model Checking for Programming Languages using Verisoft |
142
Voted
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
170
click to vote
CIKM
2008
Springer
15 years 7 months ago
2008
Springer
The extension of Regular Expressions (REs) with an interleaving (shuffle) operator has been proposed in many occasions, since it would be crucial to deal with unordered data. Howe...
188
click to vote
TAOSD
2010
15 years 3 months ago
2010
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...
142
click to vote
UM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Words mean different things to different people, and capturing these differences is often a subtle art. These differences are often “a matter of perspective,” and...
177
click to vote
ECOOP
2010
Springer
15 years 10 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...