4460 search results - page 16 / 892 » Formal methods for interactive systems |
89
Voted
FMICS
2008
Springer
15 years 4 months ago
2008
Springer
152
Voted
TOCL
2012
13 years 5 months ago
2012
120
Voted
FIW
2007
15 years 4 months ago
2007
Many of the formal techniques are orchestrated for interaction detection in a complex integrated solution of hardware and software components. However, the applicability of these ...
126
Voted
IFM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
158
Voted
CCECE
2006
IEEE
15 years 9 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...