Checking the Correctness of Architectural Transformation Steps via Proof-Carrying Architectures

IFIP Advances in Information and Communication Technology - United States
doi 10.1007/978-0-387-35563-4_5
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer US

Related search

A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Program Correctness by Transformation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Checking Correctness of TypeScript Interfaces for JavaScript Libraries

2014English

Proof of Correctness for ASOCS AA3 Networks

IEEE Transactions on Systems, Man, and Cybernetics
1994English

Proof-Carrying Code With Untrusted Proof Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Radical Transformation Pathway Towards Sustainable Electricity via Evolutionary Steps

Nature Communications
AstronomyGeneticsMolecular BiologyBiochemistryChemistryPhysics
2019English

Admit Your Weakness: Verifying Correctness on TSO Architectures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Proof Automation for Functional Correctness in Separation Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2014English

Checking Sequences for Distributed Test Architectures

Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsTheoretical Computer Science
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy