10870 search results - page 247 / 2174 » Model Checking Programs |
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
71
Voted
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
ICCAD
2005
IEEE
15 years 8 months ago
2005
IEEE
137
click to vote
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
131
click to vote
LICS
2005
IEEE
15 years 8 months ago
2005
IEEE
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...