294 search results - page 14 / 59 » Formal Verification of the Implementability of Timing Requir... |
104
Voted
HASE
1999
IEEE
15 years 3 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
101
click to vote
FOSSACS
2008
Springer
15 years 13 days ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
83
Voted
TC
2008
14 years 10 months ago
2008
Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models a...
RV
2010
Springer
14 years 8 months ago
2010
Springer
Most applications that are in use today inter-operate with other applications, so-called peers, over a network. The analysis of such distributed applications requires that the effe...
95
Voted
PTS
2000
15 years 7 days ago
2000
We present a formal approach to check the correctness and to propose corrections of hand-written test suites with respect to a formal specification of the protocol implementations ...