4962 search results - page 226 / 993 » Stochastic Model Checking |
153
Voted
APSEC
2005
IEEE
16 years 20 days ago
2005
IEEE
123
Voted
DATE
2005
IEEE
16 years 20 days ago
2005
IEEE
167
Voted
ICCAD
2005
IEEE
16 years 20 days ago
2005
IEEE
221
Voted
ISORC
2005
IEEE
16 years 19 days 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...
205
Voted
LICS
2005
IEEE
16 years 19 days 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...