χChek: A Model Checker for Multi-Valued Reasoning

Steve Easterbrook; Marsha Chechik; Benet Devereux; Arie Gurfinkel; Albert Lai; Victor Petrovykh; Anya Tafliovich; Christopher Thompson-walsh

oai:CiteSeerX.psu:10.1.1.8.4699

χChek: A Model Checker for Multi-Valued Reasoning

Authors: Steve Easterbrook
Marsha Chechik
Benet Devereux
Arie Gurfinkel
Albert Lai
Victor Petrovykh
Anya Tafliovich
Christopher Thompson-walsh
Publication date: 2007
Publisher

Abstract

This paper describes our multi-valued symbolic model-checker χChek. χChek is a generalization of an existing symbolic model-checking algorithm for a multi-valued extension of the temporal logic CTL. Multi-valued model-checking supports reasoning with values other than just TRUE and FALSE. Multi-value

text

Similar works

Full text

CiteSeerX

Provided original full text link

oai:CiteSeerX.psu:10.1...Last time updated on 10/22/2014

This paper was published in CiteSeerX.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.