601 search results - page 50 / 121 » Model Checking CTL Properties of Pushdown Systems |
120
click to vote
OSDI
2002
ACM
16 years 1 months ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
120
click to vote
QEST
2007
IEEE
15 years 7 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
138
click to vote
FAC
2008
15 years 1 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...
104
Voted
DAC
2010
ACM
15 years 5 months ago
2010
ACM
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
113
click to vote
AAMAS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...