16968 search results - page 15 / 3394 » Software Engineering in the Small |
224
Voted
ASWEC
2006
IEEE
15 years 7 months ago
2006
IEEE
209
Voted
CGO
2006
IEEE
15 years 7 months ago
2006
IEEE
238
Voted
APSEC
2005
IEEE
15 years 5 months ago
2005
IEEE
195
Voted
CROSSROADS
2010
15 years 1 months ago
2010
114
Voted
VMCAI
2004
Springer
15 years 9 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...