227 search results - page 28 / 46 » Quantitative verification: models techniques and tools |
136
Voted
APN
2006
Springer
2006
Springer
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis
15 years 3 months ago
Abstract. We report on the results of an investigation into the integration of Petri nets and ordinary differential equations (ODEs) for the modelling and analysis of biochemical n...
105
click to vote
CBSE
2009
Springer
15 years 6 months ago
2009
Springer
A challenge of componentizing legacy applications is to extract behavior specification of suggested components. It is desirable to preserve a relation between the original structur...
117
click to vote
CSFW
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
101
Voted
DAC
1998
ACM
16 years 2 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
141
click to vote
CAISE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...