ISP Formal Verification Tool
id:
isp-formal-verification-tool-241-1808558
title:
ISP Formal Verification Tool
text:
ISP is a tool for the formal verification of MPI programs developed within the School of Computing at the University of Utah. Like model checkers, such as SPIN, ISP verifies the complete state space of a system for a set of safety properties. However, unlike model checkers, ISP performs code level verification. This means that the tool verifies all relevant interleavings of a concurrent program by replaying the actual program code without building verification models. This idea was pioneered in
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/ISP_Formal_Verification_Tool
date created:
date modified:
2020-12-25T02:34:28Z
main entity:
{"identifier":"Q5974482","url":"https://www.wikidata.org/entity/Q5974482"}
image:
fields total:
13
integrity:
13