Proving Safety Properties of Rewrite Theories

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-22944-2_22
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Proving Safety Properties of Software

English

Proving Nondeterministically Specified Safety Properties Using Progress Measures

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1993English

Rewrite Methods for Clausal and Non-Clausal Theorem Proving

English

Probabilistic Real-Time Rewrite Theories and Their Expressive Power

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Proving the Safety of SQL Queries

English

On Proving Syntactic Properties of CPS Programs

BRICS Report Series
1999English

Proving Acceptability Properties of Relaxed Nondeterministic Approximate Programs

ACM SIGPLAN Notices
Computer Science
2012English

CrashSafe: A Formal Model for Proving Crash-Safety of Android Applications

Human-centric Computing and Information Sciences
Computer Science
2018English

A Compositional Logic for Proving Security Properties of Protocols*

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy