Daedalus

Encyclopedia : D : DA : DAE : Daedalus

---

This article deals with a European research project. For other uses of the name, see Daedalus (disambiguation).

The European research project DAEDALUS (2000–2002) dealt with the "validation of software components embedded in future generation critical concurrent systems by exhaustive semantic-based static analysis and abstract testing methods based on abstract interpretation".

Applications included the static analysis of multi-threaded computer programs, for which a programming tool that checks for the absence of programming errors was provided.

See also

• Software testing
• Static code analysis

External links

• [Official home page of DAEDALUS]

 

---

From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.

Search Titles

0

1

2

3

4

5

6

7

8

9

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

?