GLVLSI
2009
IEEE
13 years 11 months ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
IEEEARES
2010
IEEE
13 years 11 months ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...