3801 search results - page 35 / 761 » An Approach to Modeling Software Safety |
153
Voted
FAC
2008
15 years 3 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
135
Voted
CLEIEJ
2006
15 years 3 months ago
2006
The proposed software technique is a very low cost and an effective solution towards designing Byzantine fault tolerant computing application systems that are not so safety critic...
117
Voted
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
134
Voted
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
160
click to vote
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...