Automated Verification Techniques for Probabilistic Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-21455-4_3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Automated Techniques for Higher-Order Program Verification

Progress in Informatics
2013English

Incremental Runtime Verification of Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Automated Invariant Generation for the Verification of Real-Time Systems

English

Automated Deduction for Verification

ACM Computing Surveys
Computer ScienceTheoretical Computer Science
2009English

Verification Techniques for LOTOS

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Semantic Theories and Automated Tools for Real-Time and Probabilistic Concurrent Systems

1997English

Uncertainty Propagation Techniques in Probabilistic Design of Multilevel Systems

2004English

Verification Techniques for Distributed Algorithms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Probabilistic Verification of BGP Convergence

2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy