4047 search results - page 192 / 810 » Algebraic Model Checking |
153
click to vote
LICS
2006
IEEE
16 years 12 days ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
139
Voted
APSEC
2005
IEEE
16 years 18 hour ago
2005
IEEE
114
Voted
DATE
2005
IEEE
16 years 12 hour ago
2005
IEEE
183
click to vote
LICS
2005
IEEE
15 years 12 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...