2364 search results - page 105 / 473 » An Engine for Computing Well-Founded Models |
167
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
139
click to vote
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
Wireless sensor networks are often used by experts in many different fields to gather data pertinent to their work. Although their expertise may not include software engineering, ...
148
click to vote
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
139
click to vote
FGR
2008
IEEE
15 years 10 months ago
2008
IEEE
The variation caused by aging has not received adequate attention compared with pose, lighting, and expression variations. Aging is a complex process that affects both the 3D shap...
119
click to vote
GLVLSI
2009
IEEE
15 years 10 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...