2935 search results - page 300 / 587 » An Integrated Approach to High Integrity Software Verificati... |
196
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
158
click to vote
ENTCS
2006
15 years 6 months ago
2006
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...
179
click to vote
IROS
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract— Piezoelectric actuators are advantageous for microrobots due to their light weight, high bandwidth, high force production, low power consumption, and simplicity of inte...
150
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
Scenarios are an effective means for eliciting, validating and documenting requirements. At the requirements level, scenarios describe sequences of interactions between the softwa...
185
click to vote
CASES
2010
ACM
15 years 4 months ago
2010
ACM
Unobtrusive capturing of program execution traces in real-time is crucial in debugging cyber-physical systems. However, tracing even limited program segments is often cost-prohibi...