78 search results - page 1 / 16 » Automatic generation of path conditions for concurrent timed... |
TCS
2008
13 years 4 months ago
2008
IFM
2005
Springer
13 years 9 months ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
DATE
2002
IEEE
13 years 9 months ago
2002
IEEE
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...
PTS
2008
13 years 5 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
ICCD
1995
IEEE
13 years 7 months ago
1995
IEEE
Many design techniques have been proposed to optimize the performance of a digital system implemented in a given technology. Each of these techniques can be advantageous in partic...