227 search results - page 16 / 46 » Quantitative verification: models techniques and tools |
122
Voted
APN
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Workflow management technology promises a flexible solution facilitating the easy creation of new business processes and modification of existing ones. Unfortunately, mos...
120
click to vote
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
108
click to vote
ICCAD
1996
IEEE
15 years 6 months ago
1996
IEEE
-- In this tutorial we discuss concepts and techniques for the accurate and efficient modeling and extraction of interconnect parasitics in VLSI designs. Due toincreasing operating...
140
click to vote
JSS
2010
14 years 8 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
130
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...