Platform Dependent Verification: On Engineering Verification Tools for 21st Century

Details Platform Dependent Verification: On Engineering Verification Tools for 21st Century Platform Dependent Verification: On Engineering Verification Tools for 21st Century

2011-11-02

arxiv.org/abs/1111.0368v1

EPTCS 72, 2011, pp. 1-12

Computer Science

Software Engineering

In Proceedings PDMC 2011, arXiv:1111.0064

Scientific paper

10.4204/EPTCS.72.1

The paper overviews recent developments in platform-dependent explicit-state
LTL model checking.

Affiliated with

Also associated with

No associations

Rating

Platform Dependent Verification: On Engineering Verification Tools for 21st Century 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 Platform Dependent Verification: On Engineering Verification Tools for 21st Century, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Platform Dependent Verification: On Engineering Verification Tools for 21st Century will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-327435