Cover Image
Read Now

1
Published 2020
Springer International Publishing
Table of Contents: “... CTL Compassion in NuSMV -- A Cooperative Parallelization Approach for Property-Directed k-Induction...”
Cover Image
Read Now

2
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... -- An abstract property of confluence applied to the study of the lazy partial lambda calculus...”
Cover Image
Read Now

3
by Sundararajan, D.
Published 2018
Springer Nature Singapore
Table of Contents: “...Preface -- Signals -- The Discrete Fourier Transform -- Properties of the DFT -- Two-Dimensional...”
Cover Image
Read Now

4
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- Verifying Quantitative Properties Using Bound Functions -- Abstraction -- How Thorough Is Thorough Enough...”
Cover Image
Read Now

5
Published 2020
Springer International Publishing
Table of Contents: “... -- The Automatic Baire Property and an Effective Property of omega-Rational Functions -- The Power of Programs over...”
Cover Image
Read Now

6
by Kröger, Fred
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... -- 15. Description of Program Properties -- V. Invariance and Precedence Properties of Programs -- 16...”
Cover Image
Read Now

7
by Reisig, Wolfgang
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... Properties of Elementary System Nets -- VIII. Interleaved Progress of Elementary System Nets -- IX...”
Cover Image
Read Now

8
Published 2017
Springer International Publishing
Table of Contents: “... -- Bicategories of Markov Processes -- Property-Preserving Parallel Decomposition -- A Generic Algorithm...”
Cover Image
Read Now

9
Published 2017
Springer International Publishing
Table of Contents: “...Verification and validation of global properties, -- Implementation of numerical techniques...”
Cover Image
Read Now

10
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... Properties versus State Machines -- Property-Based Testing and Verification: A Catalog of Classroom Examples...”
Cover Image
Read Now

11
by Szepietowski, Andrzej
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... -- Halting property and closure under complement -- Strong versus weak mode of space complexity -- Padding...”
Cover Image
Read Now

12
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Property for the Joint Design of ASN.1 and the Basic Encoding Rules -- Checking Secrecy by Means of Partial...”
Cover Image
Read Now

13
by Royer, James S.
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... of control structures -- General programming properties of effective numberings of subrecursive classes...”
Cover Image
Read Now

14
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... checking of satisfaction -- An action based framework for verifying logical and behavioural properties...”
Cover Image
Read Now

15
by Habel, Annegret
Published 1992
Springer Berlin Heidelberg
Table of Contents: “...General Introduction -- to hyperedge-replacement grammars -- Basic properties of HRG...”
Cover Image
Read Now

16
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Translation of ?-Calculus Terms -- Model Checking -- Handling Algebraic Properties in Automatic Analysis...”
Cover Image
Read Now

17
Published 1981
Springer Berlin Heidelberg
Table of Contents: “... survey -- On the algorithmic theory of dictionaries -- On the algorithmic properties of concurrent...”
Cover Image
Read Now

18
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Verification -- Factorization Properties of Symbolic Unfoldings of Colored Petri Nets -- Forward Analysis...”
Cover Image
Read Now

19
Published 2019
Springer International Publishing
Table of Contents: “... -- An Evaluation of Monte-Carlo Tree Search for Property Falsification on Hybrid Flight Control Laws -- Rigorous...”
Cover Image
Read Now

20
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Security Properties of Java Bytecode -- Proofs Methods for Bisimulation Based Information Flow Security...”