2836 search results - page 39 / 568 » Model Checking for Software Architectures |
111
click to vote
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
124
click to vote
QSIC
2007
IEEE
15 years 9 months ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
107
click to vote
EUROMICRO
2000
IEEE
15 years 7 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
CSMR
2007
IEEE
15 years 9 months ago
2007
IEEE
110
Voted
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...