548 search results - page 1 / 110 » Adding Real Time to Formal Program Development |
FM
1994
Springer
15 years 4 months ago
1994
Springer
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.
140
Voted
CADE
2008
Springer
16 years 20 days ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
116
Voted
PLDI
1997
ACM
15 years 4 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
94
Voted
LATA
2010
Springer
15 years 9 months ago
2010
Springer
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
110
click to vote
ARTS
1999
Springer
15 years 4 months ago
1999
Springer
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...