2943 search results - page 344 / 589 » Software Implementation of Synchronous Programs |
130
click to vote
VMCAI
2007
Springer
15 years 9 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
114
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
In a network consisting of several thousands computers, the occurrence of faults is unavoidable. Being able to test the behaviour of a distributed program in an environment where ...
121
click to vote
VMCAI
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
112
click to vote
ADAEUROPE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
105
click to vote
FASE
2001
Springer
15 years 7 months ago
2001
Springer
This paper describes the design and implementation of a tool for C programs that provides run-time checks based on type information. The tool instruments a program to monitor the t...