3742 search results - page 51 / 749 » On the Use of Formal Techniques for Validation |
107
click to vote
CASES
2010
ACM
14 years 9 months ago
2010
ACM
Wired embedded networks must include multicast authentication to prevent masquerade attacks within the network. However, unique constraints for these networks make most existing m...
MEMOCODE
2005
IEEE
15 years 5 months ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
EUROMICRO
2000
IEEE
15 years 4 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...
100
click to vote
ESCIENCE
2007
IEEE
15 years 3 months ago
2007
IEEE
Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed scientific computations and data analysis, and have enabled and acce...