601 search results - page 114 / 121 » Model Checking CTL Properties of Pushdown Systems |
SIGSOFT
2008
ACM
16 years 10 days ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
194
click to vote
ICDT
2009
ACM
16 years 9 days ago
2009
ACM
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
111
click to vote
EMSOFT
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
PASTE
2005
ACM
15 years 5 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
JAPLL
2010
14 years 10 months ago
2010
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...