3387 search results - page 320 / 678 » Model-Checking for Real-Time Systems |
205
click to vote
SIGPLAN
2002
15 years 7 months ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
192
click to vote
CAV
2005
Springer
16 years 25 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
183
click to vote
ATVA
2005
Springer
16 years 25 days ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
219
click to vote
FM
2003
Springer
16 years 15 days ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
168
click to vote
ENTCS
2006
15 years 7 months ago
2006
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.