2520 search results - page 141 / 504 » Model-checking behavioral programs |
121
click to vote
ICONS
2009
IEEE
15 years 7 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
123
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
102
click to vote
MODELS
2009
Springer
15 years 7 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
124
click to vote
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of commun...
IROS
2006
IEEE
15 years 7 months ago
2006
IEEE
— Online self collision detection system for humanoid robots is an essentially important function for developing sensor based behaviors without worrying about breaking hardware. ...