98 search results - page 8 / 20 » Quantitative Analysis With the Probabilistic Model Checker P... |
SIGSOFT
2009
ACM
15 years 10 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
95
Voted
ECBS
2007
IEEE
15 years 1 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
ATVA
2010
Springer
14 years 10 months ago
2010
Springer
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
293
click to vote
ICSE
2012
IEEE-ACM
13 years 3 hour ago
2012
IEEE-ACM
—We propose an extension of van Lamsweerde’s goal-oriented requirements engineering to the domain of programmable DNA nanotechnology. This is a domain in which individual devic...
ICALP
2003
Springer
15 years 2 months ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...