An Efficient Equivalence-Checking Algorithm for a Model of Programs With Commutative and Absorptive Statements

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2016-1410
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

Model Checking Concurrent Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

An Improvement of the Piggyback Algorithm for Parallel Model Checking

2014English

Tools and Techniques for Model Checking Networked Programs

2008English

Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

A Logic of Belief and a Model Checking Algorithm for Security Protocols

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2000English

A Direct Algorithm for Multi-Valued Bounded Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Efficient Model Checking of Networked Applications

Lecture Notes in Business Information Processing
ControlSystems EngineeringInformation SystemsBusinessInternational ManagementSimulationManagementManagement Information SystemsModeling
2008English

Efficient Large-Scale Model Checking

2009English

Client-Specific Equivalence Checking

2018English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy