Verifying Temporal Heap Properties Specified via Evolution Logic

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-36575-3_15
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Formally Specified Monitoring of Temporal Properties

English

Verifying Communicating Agents by Model Checking in a Temporal Action Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Exact Minimum Factoring of Incompletely Specified Logic Functions via Quantified Boolean Satisfiability

IPSJ Transactions on System LSI Design Methodology
Electronic EngineeringComputer Science ApplicationsElectrical
2011English

Verifying Service Choreography Model Based on Description Logic

Mathematical Problems in Engineering
MathematicsEngineering
2016English

Verifying Security Protocols as Planning in Logic Programming

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2001English

Automatic Inference of Heap Properties Exploiting Value Domains

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Verifying Properties of Neural Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Verifying Properties of Process Definitions

ACM SIGSOFT Software Engineering Notes
2000English

Verifying Quantitative Properties Using Bound Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy