726 search results - page 53 / 146 » Formal Verification and Validation of Interactive Systems Sp... |
101
click to vote
IJSI
2008
14 years 12 months ago
2008
In this paper, we demonstrate the use of qualitative spatial modelling as the foundation for the conceptual representation of route instructions, to enable robust humanrobot intera...
101
click to vote
FM
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
106
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: A molecular network perspective forms the foundation of systems biology. A common practice in analyzing protein-protein interaction (PPI) networks is to perform networ...
168
click to vote
B
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
ICSE
2009
IEEE-ACM
14 years 9 months ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...