Constructing Property-Oriented Models for Verification

Lecture Notes in Computer Science - Germany
doi 10.1007/11768173_6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Method of Constructing Abstract Models for Protocol Verification of Cache Coherence in Scalable Systems

Herald of the Bauman Moscow State Technical University. Series Instrument Engineering
2017English

Dynamic Object-Oriented Heat Exchanger Models for Simulation of Fluid Property Transitions

International Journal of Heat and Mass Transfer
Transfer ProcessesFluid FlowCondensed Matter PhysicsMechanical Engineering
2006English

Property Specification Patterns for Finite-State Verification

1998English

Verification Methodology for DEVS Models

English

Component-Oriented Verification of Noninterference

Journal of Systems Architecture
HardwareArchitectureSoftware
2011English

Constructing Models for Content-Based Image Retrieval

English

Formal Verification of Object-Oriented Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Combining CSP and B for Specification and Property Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Meta-Models Combination for Reusing Verification Techniques

2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy