1446 search results - page 5 / 290 » Formal analysis of hardware requirements |
ICSEA
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
JISE
2008
13 years 7 months ago
2008
business requirement in the real world cannot be abstracted correctly into an entity-relationship schema. Once core entities are discovered, we can obtain an Entity-Relationship Di...
FMCAD
2006
Springer
13 years 11 months ago
2006
Springer
Pervasive Logic is a broad term applied to the variety of logic present in hardware designs, yet not a part of their primary functionality. Examples of pervasive logic include init...
CAV
2004
Springer
14 years 1 months ago
2004
Springer
FTRTFT
1998
Springer
14 years 2 days ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...