Search alternatives:
automatic theorem » automated theorem, automata theory
languages » language
Cover Image
Read Now

1
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...On the Utility of Formal Methods in the Development and Certification of Software -- Formal...”
Cover Image
Read Now

2
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... declarative language -- Modal specifications -- Automated verification of timed transition models -- Temporal...”
Cover Image
Read Now

3
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... of refinement -- Effective theorem proving for hardware verification -- A formal framework for high level...”
Cover Image
Read Now

4
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... dedicated towards formal circuit synthesis -- Interfacing HOL90 with a functional database query language...”
Cover Image
Read Now

5
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... -- Degrees of formality in shallow embedding hardware description languages in HOL -- A functional approach...”
Cover Image
Read Now

6
Published 2014
Springer International Publishing
Table of Contents: “...Finite Automata and Regular Languages On Automatic Transitive Graphs.-  Upper Bounds on Syntactic...”
Cover Image
Read Now

7
Published 1974
Springer Berlin Heidelberg
Table of Contents: “...The generative power of two-level grammars -- A generalisation of Parikh's theorem in formal...”
Cover Image
Read Now

8
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... uniformly -- Preservation theorems in finite model theory -- A query language for NC (extended abstract)...”
Cover Image
Read Now

9
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... -- VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language -- A Caller-Side Inline Reference...”
Cover Image
Read Now

10
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Prover -- Combination of Isabelle/HOL with Automatic Tools -- ATS: A Language That Combines Programming...”
Cover Image
Read Now

11
by Ohlebusch, Enno
Published 2002
Springer New York
Table of Contents: “... -- 10 Proving Termination of Logic Programs -- A Kruskal’s Theorem -- A.l Partial Well-Orderings -- A.2...”
Cover Image
Read Now

12
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... of the Universal Automaton of a Regular Language -- Correlations of Partial Words -- Session 2A -- Testing...”
Cover Image
Read Now

13
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving -- Solving Geometric...”
Cover Image
Read Now

14
Published 2014
Springer International Publishing
Table of Contents: “... Randomized Search -- SMACK: Decoupling Source Language Details from Verifier Implementations -- Security...”
Cover Image
Read Now

15
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... with Timers and Types -- Automatic Refinement of Split Binary Semaphore -- Stepwise Development of Simulink...”
Cover Image
Read Now

16
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design...”
Cover Image
Read Now

17
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation -- Session 8. Property...”
Cover Image
Read Now

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

19
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... auxiliary pushdown automata -- Hotz-isomorphism theorems in formal language theory -- First-order properties...”
Cover Image
Read Now

20
Published 1992
Springer Berlin Heidelberg
Table of Contents: “...Connecting formal semantics to constructive intuitions -- Kripke semantics for dependent type...”