MPG.eBooks - Search Results - "a library"

Cover Image

1

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

Published 2001

Springer Berlin Heidelberg

Table of Contents: “... Checking Using Boolean Expression Diagrams -- A Library for Composite Symbolic Representations -- Infinite...”

Cover Image

2

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2...

Published 2016

Springer International Publishing

Table of Contents: “... Multi-core Interference -- A Library and Scripting Language for Tool Independent Simulation Descriptions --...”