Logic Column 12: Logical Verification and Equational Verification

Details Logic Column 12: Logical Verification and Equational Verification Logic Column 12: Logical Verification and Equational Verification

2005-05-10

arxiv.org/abs/cs/0505024v1

SIGACT News, 36(2), pp. 77-88, 2005

Computer Science

Logic in Computer Science

11 pages

Scientific paper

This article examines two approaches to verification, one based on using a
logic for expressing properties of a system, and one based on showing the
system equivalent to a simpler system that obviously has whatever property is
of interest. Using examples such as process calculi and regular programs, the
relationship between these two approaches is explored.

Affiliated with

Also associated with

No associations

Rating

Logic Column 12: Logical Verification and Equational Verification does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Logic Column 12: Logical Verification and Equational Verification, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Logic Column 12: Logical Verification and Equational Verification will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-312614