Automatic Synthesis of Assumptions for Compositional Model Checking

Lecture Notes in Computer Science - Germany
doi 10.1007/11888116_12
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Induction in Compositional Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Model Checking With Fairness Assumptions Using PAT

Frontiers of Computer Science
Computer ScienceTheoretical Computer Science
2013English

Assumptions and Guarantees for Compositional Noninterference

2011English

Compositional Entailment Checking for a Fragment of Separation Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Automatic Assumptions of Automaticity.

American Psychologist
MedicinePsychology
2000English

Automatic Refinement Checking for B

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Compositional Invariant Checking for Overlaid and Nested Linked Lists

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Automatic Generation of Model Checking Scripts Based on Environment Modeling

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy