Probabilistic Model Checking of Regenerative Concurrent Systems

IEEE Transactions on Software Engineering - United States
doi 10.1109/tse.2015.2468717
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Related search

Model Checking Concurrent Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Counterexamples in Probabilistic Model Checking

English

Model Checking for Probabilistic Timed Automata

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2012English

Advances and Challenges of Probabilistic Model Checking

2010English

Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking

English

Model Checking of Concurrent Algorithms: From Java to C

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2010English

Model Checking the Biological Model of Membrane Computing With Probabilistic Symbolic Model Checker by Using Two Biological Systems

Journal of Computer Science
Computer NetworksSoftwareArtificial IntelligenceCommunications
2010English

Validation of Service Level Agreements Using Probabilistic Model Checking

2017English

Validation of Object-Oriented Concurrent Designs by Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy