445 search results - page 56 / 89 » Model Checking Quantitative Linear Time Logic |
135
click to vote
WILF
2007
Springer
15 years 8 months ago
2007
Springer
Background: Quantitative analysis of differential protein expressions requires to align temporal elution measurements from liquid chromatography coupled to mass spectrometry (LC/M...
116
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...
109
click to vote
FMSD
2006
15 years 1 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
102
click to vote
FAC
2008
15 years 1 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
128
Voted
DFG
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...