Add to ORKGWe investigate the combination of AI techniques with model checking, which is a suc- cessful approach to verification of particular concurrent systems. We present the system repair problem and as an application the problem of repairing (i.e. correcting) concurrent programs. Moreover, we describe optimization techniques for reducing the search space of a repair, which use the concept of counterexample
non-peer-reviewedA process for rigorous inspection of concurrent systems using tabular specification...
Concurrent programs are ubiquitous, from the high-end servers to personal machines, due to the fact ...
Model checking is a successful method for checking properties on the state space of concurrent, reac...
We investigate the combination of AI techniques with model checking, which is a suc- ce...
AbstractModel checking is a fruitful application of computational logic with high relevance to the v...
AbstractModel checking is a fruitful application of computational logic with high relevance to the v...
Model checking is a fruitful application of computational logic with high relevance to the verificat...
Model checking is an approach to automated verification of finite-state concurrent systems such as c...
The design of concurrent algorithms tends to be a long and difficult process. Increasing the number ...
We focus on two different approaches to automatic program repair, based on formal verification metho...
AbstractModel checking is a formal technique for proving the correctness of a system with respect to...
Model checking has been used in various domains, to enable automatic verification of properties for ...
AbstractModel checking is a formal technique for proving the correctness of a system with respect to...
Model checking is a successful method for checking properties on the state space of concurrent, reac...
A process for rigorous inspection of concurrent systems using tabular specification was developed an...
non-peer-reviewedA process for rigorous inspection of concurrent systems using tabular specification...
Concurrent programs are ubiquitous, from the high-end servers to personal machines, due to the fact ...
Model checking is a successful method for checking properties on the state space of concurrent, reac...
We investigate the combination of AI techniques with model checking, which is a suc- ce...
AbstractModel checking is a fruitful application of computational logic with high relevance to the v...
AbstractModel checking is a fruitful application of computational logic with high relevance to the v...
Model checking is a fruitful application of computational logic with high relevance to the verificat...
Model checking is an approach to automated verification of finite-state concurrent systems such as c...
The design of concurrent algorithms tends to be a long and difficult process. Increasing the number ...
We focus on two different approaches to automatic program repair, based on formal verification metho...
AbstractModel checking is a formal technique for proving the correctness of a system with respect to...
Model checking has been used in various domains, to enable automatic verification of properties for ...
AbstractModel checking is a formal technique for proving the correctness of a system with respect to...
Model checking is a successful method for checking properties on the state space of concurrent, reac...
A process for rigorous inspection of concurrent systems using tabular specification was developed an...
non-peer-reviewedA process for rigorous inspection of concurrent systems using tabular specification...
Concurrent programs are ubiquitous, from the high-end servers to personal machines, due to the fact ...
Model checking is a successful method for checking properties on the state space of concurrent, reac...