4341 search results - page 190 / 869 » Quantitative Model checking |
89
Voted
ICCAD
2005
IEEE
15 years 6 months ago
2005
IEEE
124
click to vote
ISORC
2005
IEEE
15 years 6 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...
116
click to vote
LICS
2005
IEEE
15 years 6 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...
101
Voted
CAV
2005
Springer
15 years 6 months ago
2005
Springer
92
Voted
CAV
2005
Springer
15 years 6 months ago
2005
Springer