On the Use of Probabilistic Model-Checking for the Verification of Prognostics Applications

doi 10.1109/intelcis.2015.7397225
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Model Checking for Probabilistic Timed Automata

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2012English

Probabilistic Model Checking of Regenerative Concurrent Systems

IEEE Transactions on Software Engineering
Software
2016English

Counterexamples in Probabilistic Model Checking

English

A Bounded Model Checking Approach for the Verification of Web Services Composition

International Journal of Web Services Research
Computer NetworksSoftwareInformation SystemsCommunications
2013English

Advances and Challenges of Probabilistic Model Checking

2010English

Byte Code Verification for Java Smart Cards Based on Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Verification, Model Checking and Abstract Interpretation

1997English

Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking

English

The Use of Model Checking in ATPG for Sequential Circuits

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy