Compositional Characterization of Observable Program Properties

DAIMI Report Series
doi 10.7146/dpb.v19i328.6718
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Aarhus University Library

Related search

Synthesis of Circular Compositional Program Proofs via Abduction

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2015English

Predicting Molecular Properties With Covariant Compositional Networks

Journal of Chemical Physics
MedicineTheoretical ChemistryAstronomyPhysicsPhysical
2018English

Scaling of Alloy Interfacial Properties Under Compositional Strain

Physical review. E
Nonlinear PhysicsProbabilityStatisticsCondensed Matter PhysicsStatistical
2016English

Nanoscale Compositional Characterization of Silicon Oxide-Nitride-Oxide Stacks

Microscopy and Microanalysis
Instrumentation
2002English

Compositional Abstractions for Long-Run Properties of Stochastic Systems

2011English

On the Compositional Characterization of Complete Fuzzy Pre-Orders

Fuzzy Sets and Systems
Artificial IntelligenceLogic
2008English

Compositional and Structural Properties of Pulsed Laser-Deposited ZnS:Cr Films

Applied Physics A: Materials Science and Processing
Materials ScienceChemistry
2016English

Checking Subsystem Safety Properties in Compositional Reachability Analysis

English

A Compositional Logic for Proving Security Properties of Protocols*

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy