2875 search results - page 156 / 575 » Model checking agentspeak |
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
ICCAD
2005
IEEE
15 years 6 months ago
2005
IEEE
127
Voted
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...
119
Voted
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...