759 search results - page 10 / 152 » On formal models for social verification |
ERCIM
2007
14 years 9 months ago
2007
ICEIS
2010
IEEE
14 years 7 months ago
2010
IEEE
ICECCS
2009
IEEE
15 years 4 months ago
2009
IEEE
FMSD
2002
14 years 9 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
ICCD
2000
IEEE
15 years 1 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...