Verifying Computations With State

doi 10.1145/2517349.2522733
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Verifying Computations With Streaming Interactive Proofs

Proceedings of the VLDB Endowment
Computer Science
2011English

FreeSpec: Specifying, Verifying, and Executing Impure Computations in Coq

2020English

Transitive Closures of Regular Relations for Verifying Infinite-State Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Computations With Algebraic Curves

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1989English

Accurate Computations With Lupaş Matrices

Applied Mathematics and Computation
Computational MathematicsApplied Mathematics
2017English

Robust Computations With Dynamical Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Verifying Performance for Autonomous Robot Missions With Uncertainty

IFAC Proceedings Volumes
2013English

Verifying Message-Passing Programs With Dependent Behavioural Types

2019English

Specifying and Verifying Systems With Multiple Clocks

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy