2873 search results - page 312 / 575 » Model Checking and the Mu-calculus |
176
click to vote
ACOM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
137
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Enterprise architects seek to align enterprise processes and structure with their supporting IT systems so that enterprises can flourish in their environment. The enterprise archi...
132
Voted
CHARME
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
151
click to vote
EMSOFT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
130
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...