1809 search results - page 213 / 362 » Software Model Checking Using Linear Constraints |
108
click to vote
KBSE
1998
IEEE
15 years 5 months ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
164
click to vote
SEW
2006
IEEE
15 years 8 months ago
2006
IEEE
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...
111
click to vote
PASTE
2004
ACM
15 years 7 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
213
click to vote
AMAST
2010
Springer
14 years 9 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
108
click to vote
AOSD
2010
ACM
15 years 9 months ago
2010
ACM
Many software security policies can be encoded as aspects that identify and guard security-relevant program operations. Bugs in these aspectually-implemented security policies oft...