The One Page Model Checker

Details The One Page Model Checker The One Page Model Checker

2005-06-22

arxiv.org/abs/cs/0506084v1

Computer Science

Logic in Computer Science

12 pages

Scientific paper

We show how standard IPC mechanisms can be used with the fork() system call to perform explicit state model checking on all interleavings of a multithreaded application. We specifically show how to check for deadlock and race conditions in programs with two threads. Our techniques are easy to apply to other languages, and require only the most rudimentary parsing of the target language. Our fundamental system fits in one page of C code.

Affiliated with

Also associated with

No associations

Rating

The One Page Model Checker 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 The One Page Model Checker, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The One Page Model Checker will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-624234