1111 search results - page 5 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
112
Voted
ENTCS
2010
15 years 4 days ago
2010
nalysis by abstract interpretation: a Mathematical Programming approach1 Eric Goubaulta,2 St
92
Voted
VMCAI
2005
Springer
15 years 8 months ago
2005
Springer
147
Voted
AGP
2010
IEEE
15 years 7 months ago
2010
IEEE
102
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
134
Voted
ICCD
2005
IEEE
15 years 8 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...