783 search results - page 78 / 157 » Compositional Reasoning in Model Checking |
141
click to vote
TOPNOC
2008
15 years 2 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
147
Voted
SAC
2009
ACM
15 years 9 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
FROCOS
2005
Springer
15 years 8 months ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
126
click to vote
CONCUR
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Delaying the synchronization of actions may reveal some hidden behavior that would not happen if the synchronization met the specified deadlines. This precise phenomenon...
137
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...