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

1
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- Symbolic Verification -- Language Containment Checking with Nondeterministic BDDs -- Satisfiability...”
Cover Image
Read Now

2
Published 2018
Springer International Publishing
Table of Contents: “... Systems: Challenges and Advances -- Generating Component Interfaces by Integrating Static and Symbolic...”
Cover Image
Read Now

3
Published 2017
Springer Berlin Heidelberg
Table of Contents: “... -- Learning -- Learning Symbolic Automata -- ML for ML: Learning Cost Semantics by Experiment -- A Novel...”
Cover Image
Read Now

4
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... in Systems on Chip -- Using Abstract Specifications to Verify PowerPC™ Custom Memories by Symbolic Trajectory...”
Cover Image
Read Now

5
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... in Driverless Metro Systems: The MBAT Project.- Optimising Ordering Strategies forSymbolic Model Checking...”
Cover Image
Read Now

6
Published 2016
Springer International Publishing
Table of Contents: “...Symbolic Execution with CEGAR -- Multi-Core Model Checking of Large-Scale Reactive Systems Using...”
Cover Image
Read Now

7
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application...”