3256 search results - page 173 / 652 » Applications of Formal Methods to System Design and Verifica... |
166
click to vote
COMPSAC
1997
IEEE
15 years 10 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
172
click to vote
JAIR
2006
15 years 6 months ago
2006
We study properties of programs with monotone and convex constraints. We extend to these formalisms concepts and results from normal logic programming. They include the notions of...
156
click to vote
ICRA
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents a class of fundamental control policies suitable for use in a novel method for designing and specifying the dynamic motion of robotic systems. Through recourse...
169
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
186
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...