170
Voted
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
165
Voted
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
180
Voted
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
155
Voted
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
142
Voted
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
171
Voted
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
d Abstract) Carsten Sinz and Wolfgang K¨uchlin Symbolic Computation Group, WSI for Computer Science, University of T¨ubingen and Steinbeis Technology Transfer Center OIT, 72076 T...
179
Voted
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
193
Voted
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
162
Voted
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
157
Voted
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...