1497 search results - page 15 / 300 » Extended static checking |
95
Voted
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
126
click to vote
IAW
2003
IEEE
15 years 7 months 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...
ICSE
2001
IEEE-ACM
15 years 6 months ago
2001
IEEE-ACM
TOOLS
2000
IEEE
15 years 6 months ago
2000
IEEE