3342 search results - page 10 / 669 » Automating Abstract Interpretation |
ATVA
2006
Springer
15 years 2 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
93
Voted
TPHOL
1994
IEEE
15 years 1 months ago
1994
IEEE
66
Voted
LICS
2002
IEEE
15 years 3 months ago
2002
IEEE
LICS
2002
IEEE
15 years 3 months ago
2002
IEEE
TIME
2002
IEEE
15 years 3 months ago
2002
IEEE
