3909 search results - page 257 / 782 » Extreme Model Checking |
117
Voted
CAV
2010
Springer
15 years 6 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
144
Voted
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
144
click to vote
FUIN
2007
15 years 3 months ago
2007
In this paper we show a novel method for modelling behaviours of security protocols using networks of communicating automata in order to verify them with SAT-based bounded model ch...
128
Voted
ETFA
2006
IEEE
15 years 9 months ago
2006
IEEE
Wireless Sensor and Actor Networks (WSANs) constitute an emerging and pervasive technology that is attracting increased interest for a wide range of applications. WSANs have two m...
109
Voted
CLUSTER
2002
IEEE
15 years 8 months ago
2002
IEEE
High speed bulk data transfer is an important part of many data-intensive scientific applications. This paper describes an aggressive bulk data transfer scheme, called Reliable Bl...