146 search results - page 13 / 30 » Automated Abstractions for Contract Validation |
NCA
2010
IEEE
13 years 2 months ago
2010
IEEE
In this paper we address the challenge of realizing full-body behaviors in scalable modular robots. We present an experimental study of a biologically inspired approach to organize...
CSL
2001
Springer
14 years 1 days ago
2001
Springer
Abstract. In this paper we show how to extend a constructive type theory with a principle that captures the spirit of Markov’s principle from constructive recursive mathematics. ...
CSL
2010
Springer
13 years 8 months ago
2010
Springer
We investigate a modification of the sequent calculus which s a first-order proof into its abstract deductive structure and a unifier which renders this structure a valid proof. We...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
Threat modeling analyzes how an adversary might attack a system by supplying it with malicious data or interacting with it. The analysis uses a Data Flow Diagram (DFD) to describe...
SPLC
2010
13 years 9 months ago
2010
Abstract. In product line engineering various stakeholders like sales and marketing people, product managers, and technical writers are involved in creating and adapting documents ...