227 search results - page 6 / 46 » Quantitative verification: models techniques and tools |
104
click to vote
FMICS
2008
Springer
15 years 3 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
139
Voted
FORMATS
2004
Springer
15 years 5 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
SFM
2009
Springer
15 years 8 months ago
2009
Springer
In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serv...
126
click to vote
GLVLSI
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
103
click to vote
QEST
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—ITPN-PerfBound is a graphical tool for the modeling and performance bound analysis of Interval Time Petri Nets (ITPN), that has been developed within the DrawNET modelin...