Induction in Compositional Model Checking

Lecture Notes in Computer Science - Germany
doi 10.1007/10722167_25
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Automatic Synthesis of Assumptions for Compositional Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Checking Subsystem Safety Properties in Compositional Reachability Analysis

English

Compositional Entailment Checking for a Fragment of Separation Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Compositional Invariant Checking for Overlaid and Nested Linked Lists

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Model Checking

1997English

Model Checking Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Regression Model Checking

2009English

Counterexamples in Probabilistic Model Checking

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy