548 search results - page 1 / 110 » Adding Real Time to Formal Program Development |
FM
1994
Springer
14 years 9 months ago
1994
Springer
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.
CADE
2008
Springer
15 years 5 months 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...
PLDI
1997
ACM
14 years 9 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...
LATA
2010
Springer
15 years 2 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 ...
ARTS
1999
Springer
14 years 9 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...