2513 search results - page 341 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
156
click to vote
ENTCS
2002
15 years 5 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
181
click to vote
SPIN
2009
Springer
16 years 13 days ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
208
click to vote
APSEC
2007
IEEE
16 years 8 days ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
263
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
172
click to vote
CBSE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Predicting the performance of component-based applications is difficult due to the complexity of the underlying component technology. This problem is exacerbated when a m...