Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

33

ENTCS
2006

favoriteEmaildiscussreport

125views more ENTCS 2006»

Parallel Assignments in Software Model Checking

13 years 11 months ago

Parallel Assignments in Software Model Checking

Download www.contrib.andrew.cmu.edu

In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.

Murray Stokely, Sagar Chaki, Joël Ouaknine

Real-time Traffic

ENTCS 2006 | Formal Software Verification | Parallel Assignment | Weakest Precondition Computations |

claim paper

Related Content

» Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups

» A TimeOptimal OntheFly Parallel Algorithm for Model Checking of Weak LTL Properties

» ContextBounded Model Checking of Concurrent Software

» Parallel BreadthFirst Search LTL ModelChecking

» Using model checking with symbolic execution to verify parallel numerical programs

» Transforming sources to petri nets a way to analyze execution of parallel programs

» ModelChecking of ComponentBased EventDriven RealTime Embedded Software

» Brief announcement view transactions transactional model with relaxed consistency checks

» Tools and Techniques for Model Checking Networked Programs

Post Info
More Details (n/a)

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2006
Where	ENTCS
Authors	Murray Stokely, Sagar Chaki, Joël Ouaknine

Comments (0)