1454 search results - page 36 / 291 » Stateful traits and their formalization |
134
click to vote
ICSEA
2009
IEEE
14 years 10 months ago
2009
IEEE
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
110
click to vote
LICS
2008
IEEE
15 years 6 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
90
Voted
CORR
2010
Springer
15 years 18 days ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
101
click to vote
ISSRE
2002
IEEE
15 years 5 months ago
2002
IEEE
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
115
click to vote
FM
1998
Springer
15 years 4 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...