1108 search results - page 108 / 222 » Model Checking of Safety Properties |
94
Voted
CONCUR
1999
Springer
15 years 5 months ago
1999
Springer
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...
122
Voted
ESOP
2003
Springer
15 years 6 months ago
2003
Springer
Programmers confront a minefield when they design interactive Web programs. Web interactions take place via Web browsers. With browsers, consumers can whimsically navigate among t...
134
Voted
ISCA
2012
IEEE
13 years 3 months ago
2012
IEEE
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...
115
Voted
ICCS
2009
Springer
14 years 10 months ago
2009
Springer
This article presents a local control approach to linear vehicle platooning. Linear platoon systems are sets of vehicles that use local or global perception capabilities to form a ...
82
Voted
JWE
2006
15 years 20 days ago
2006
gh abstract information is available. In the next step, we identify existing Web Engineering model properties which can be used to improve the checks, and propose further extension...