Automatic Refinement Checking for B

Lecture Notes in Computer Science - Germany
doi 10.1007/11576280_24
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

More Anti-Chain Based Refinement Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Automatic Synthesis of Assumptions for Compositional Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Automatic Refinement of Service Compositions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems

International Journal of Foundations of Computer Science
Computer Science
2003English

From Many Places to Few: Automatic Abstraction Refinement for Petri Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Automatic Flow Analysis for Event-B

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Automatic DispenYing Checking System Using Two-Dimensional Barcode Symbols.

Japanese Journal of Hospital Pharmacy
1995English

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

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

Privacy PolicyRefund Policy