Search alternatives:
proving infinite » proving infinitude, proving definite, proving finite
using infinite » using finite, solving infinite
Cover Image
Read Now

21
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...Permutation and bootstrap statistics under infinite variance -- Max–Stable Processes...”
Cover Image
Read Now

22
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...Tutorials and Papers -- Model Checking: A Tutorial Overview -- Theorem Proving for Verification...”
Cover Image
Read Now

23
by Laubenbacher, Reinhard, Pengelley, David
Published 1999
Springer New York
Table of Contents: “... Legendre’s Attempts to Prove the Parallel Postulate -- 1.4 Lobachevskian Geometry -- 1.5 Poincaré’s Euclidean...”
Cover Image
Read Now

24
Published 2021
Springer International Publishing
Table of Contents: “... -- Hyperproperties and Infinite-state Systems -- Compositional Model Checking for Multi-Properties -- Decomposing...”
Cover Image
Read Now

25
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...Understanding Counterexamples with explain -- Zapato: Automatic Theorem Proving for Predicate...”
Cover Image
Read Now

26
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... -- Infinite Synchronous Concurrent Algorithms The Algebraic Specification and Verification of a Hardware Stack...”
Cover Image
Read Now

27
Published 1982
Springer Berlin Heidelberg
Table of Contents: “...Solving open questions with an automated theorem-proving program -- STP: A mechanized logic...”
Cover Image
Read Now

28
Published 1983
Springer Berlin Heidelberg
Table of Contents: “... and non-clausal theorem proving -- Complexity of infinite trees -- Incremental construction of unification...”
Cover Image
Read Now

29
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... with infinite but regular state spaces -- Formal verification of out-of-order execution using incremental...”
Cover Image
Read Now

30
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...FLoC Plenary Talk -- Formal Verification of Infinite State Systems Using Boolean Methods -- Session...”
Cover Image
Read Now

31
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Constraint Solving -- Constraints and Theorem Proving -- Functional and Constraint Logic Programming...”
Cover Image
Read Now

32
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Alphabets and Infinite Bases III: Simulation -- Real Time -- Inference of Event-Recording Automata Using...”
Cover Image
Read Now

33
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... of infinite-state distributed algorithms -- Model checking for infinite state systems using data abstraction...”
Cover Image
Read Now

34
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...-Time Model Checking Using Tabled Logic Programming and Constraints -- Constraint-Based Infinite Model...”
Cover Image
Read Now

35
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...: Static Program Analysis Using Theorem Proving -- Session 6. Satisfiability Modulo Theories -- Solving...”
Cover Image
Read Now

36
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... for the Evidential Tool Bus (Extended Abstract) -- Synthesis of Infinite-State Abstractions and Their Use...”
Cover Image
Read Now

37
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...-Structures with Pointers -- Symbolic Model Checking of Infinite-State Systems Using Narrowing -- Delayed...”
Cover Image
Read Now

38
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... of Minimal Acyclic DFAs -- Using Acceptors as Transducers -- Proving Sequential Function Chart Programs Using...”
Cover Image
Read Now

39
by Zelenyuk, Yevhen
Published 2011
De Gruyter
“... ultrafilters are used in constructing topologies on groups with extremal properties and how topologies...”
Cover Image
Read Now

40
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds -- Specifying and Verifying Partial Order...”