MPG.eBooks - Search Results - "Concurrent systems"

Cover Image

1

Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Table of Contents: “... Abstraction for the Mu-Calculus -- Efficient Modeling of Concurrent Systems in BMC -- Tackling Large...”

Cover Image

2

Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice...

Published 2010

Springer Berlin Heidelberg

Table of Contents: “... Concurrent Systems -- Tracking Heaps That Hop with Heap-Hop -- Software Verification -- Automatic Analysis...”