1108 search results - page 44 / 222 » Model Checking of Safety Properties |
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
We present TReMer+, a tool for consistency checking of distributed models (i.e., models developed by distributed teams). TReMer+ works by first constructing a merged model before ...
110
Voted
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...
99
Voted
LMCS
2006
15 years 13 days ago
2006
We consider the model checking problem for probabilistic pushdown automata (pPDA) and properties expressible in various probabilistic logics. We start with properties that can be ...
96
Voted
ENTCS
2007
15 years 13 days ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
100
click to vote
WSC
2007
15 years 2 months ago
2007
One of the most important gaps in road safety management practises is the lack of mature methods for estimating reliability. Road safety performance assessment systems have been d...