Search alternatives:
"symbol" » "symbols", "symbolic"
Cover Image
Read Now

1
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures -- A Nested Depth First Search...”
Cover Image
Read Now

2
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... by Symbolic Planning -- Verifying Robocup Teams -- Scaling Search with Pattern Databases -- Survey on Directed...”
Cover Image
Read Now

3
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- Termination of Linear Programs -- Symbolic Model Checking of Non-regular Properties -- Proving More Properties...”
Cover Image
Read Now

4
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... for the Symbolic Execution of Binaries -- The LIME Interface Specification Language and Runtime Monitoring Tool...”
Cover Image
Read Now

5
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Interpretations -- From LTL to Symbolically Represented Deterministic Automata -- Monitoring Temporal Properties...”
Cover Image
Read Now

6
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Acceleration in Symbolic Model Checking --...”