2291 search results - page 140 / 459 » Logic Programming and Model Checking |
140
Voted
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at...
136
Voted
SCP
2010
15 years 29 days ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
106
Voted
ESAW
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
135
Voted
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
118
Voted
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...