381 search results - page 41 / 77 » Model Checking Is Static Analysis of Modal Logic |
113
Voted
APAL
2010
15 years 3 months ago
2010
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...
236
click to vote
FUZZIEEE
2007
IEEE
15 years 7 months ago
2007
IEEE
Not considered in the analytical model of the plant, uncertainties always dramatically decrease the performance of the fault detection task in the practice. To cope better with thi...
237
Voted
ECCB
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
135
click to vote
DEXAW
2006
IEEE
15 years 9 months ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
124
click to vote
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
— The stiffness modeling for a compliant parallel manipulator (CPM) is very important since it provides a basis for the characterization of static, modal, and dynamic behavior of...