8828 search results - page 123 / 1766 » Formal methods in practice |
240
click to vote
ESWA
2011
14 years 11 months ago
2011
The types of police inquiries performed these days are incredibly diverse. Often data processing architectures are not suited to cope with this diversity since most of the case dat...
138
click to vote
TCAD
2008
15 years 4 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
