16968 search results - page 15 / 3394 » Software Engineering in the Small |
146
Voted
ASWEC
2006
IEEE
15 years 1 months ago
2006
IEEE
66
Voted
VMCAI
2004
Springer
15 years 2 months ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...