1497 search results - page 15 / 300 » Extended static checking |
VMCAI
2004
Springer
14 years 29 days ago
2004
Springer
IAW
2003
IEEE
14 years 28 days ago
2003
IEEE
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
EWSPT
2003
Springer
14 years 25 days ago
2003
Springer
ICSE
2001
IEEE-ACM
14 years 2 days ago
2001
IEEE-ACM
TOOLS
2000
IEEE
14 years 9 hour ago
2000
IEEE