3342 search results - page 10 / 669 » Automating Abstract Interpretation |
112
click to vote
ATVA
2006
Springer
15 years 4 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...
112
Voted
TPHOL
1994
IEEE
15 years 3 months ago
1994
IEEE
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
70
Voted
TIME
2002
IEEE
15 years 5 months ago
2002
IEEE
