35 search results - page 1 / 7 » A Practical Method for Verifying Event-Driven Software |
ICSE
1999
IEEE-ACM
13 years 8 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
INFSOF
2002
13 years 4 months ago
2002
The software architecture of a system has influences against various software characteristics of the system such as efficiency, reliability, maintainability, and etc.. For support...
VSTTE
2005
Springer
13 years 9 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
FM
2003
Springer
13 years 9 months ago
2003
Springer
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
SEFM
2007
IEEE
13 years 10 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...