1376 search results - page 164 / 276 » Model-Driven Software Verification |
143
click to vote
SEKE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
117
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Productivity data for IC designs indicates an exponential increase in design time and cost with the number of elements that are to be included in a device. Present applications re...
152
click to vote
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
100
Voted
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
144
click to vote
ICTAC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...