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

101
Published 2016
Springer International Publishing
Table of Contents: “...A Proof Infrastructure for Binary Programs.-Application of Formal Methods -- A Formally Verified...”
Cover Image
Read Now

102
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...Towards Generic Pattern Mining -- Conceptual Exploration of Semantic Mirrors -- Towards a Formal...”
Cover Image
Read Now

103
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Theorem on Preconcept Lattices -- The Tensor Product as a Lattice of Regular Galois Connections -- Two...”
Cover Image
Read Now

104
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... Transformation Models and Model Finders -- Automatic Generation of Provably Correct Embedded Systems...”
Cover Image
Read Now

105
Published 2015
Springer International Publishing
Table of Contents: “...HOFM 2014 -- A Usability Evaluation of Interactive Theorem Provers Using Focus Groups...”
Cover Image
Read Now

106
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Specifications -- Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages...”
Cover Image
Read Now

107
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Characterization of Khabbaz Geometric Hierarchy of Languages -- On the Maximum Coefficients of Rational Formal...”
Cover Image
Read Now

108
Published 2014
Springer International Publishing
Table of Contents: “... Attestation Scheme -- TAuth: Verifying Timed Security Protocols -- On the Formal Analysis of HMM Using Theorem...”
Cover Image
Read Now

109
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Approach -- A Kleene Theorem for Forest Languages -- Determinization and Expressiveness of Integer Reset...”
Cover Image
Read Now

110
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Granule Sets -- Probabilistic Inference and Bayesian Theorem on Rough Sets -- Interpreting Fuzzy...”
Cover Image
Read Now

111
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...Invited Papers -- Tree-Walking Automata -- Formal Language Tools for Template-Guided DNA...”
Cover Image
Read Now

112
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... derivation using DRS -- ACL2 theorems about commercial microprocessors -- Formal synthesis in circuit design...”
Cover Image
Read Now

113
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Discovery in Predicate Abstraction -- Automated Abstraction Refinement for Model Checking Large State Spaces...”
Cover Image
Read Now

114
Published 2016
Springer International Publishing
Table of Contents: “...Constructive mathematics and type theory -- Homotopy type theory -- Logic, automata, and automatic...”
Cover Image
Read Now

115
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...: The Industrial Uptake of Formal Methods -- Proving Theorems About JML Classes -- Specification for Testing...”
Cover Image
Read Now

116
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Theories of Programming -- Contributed Papers -- An Integration of Program Analysis and Automated Theorem...”
Cover Image
Read Now

117
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... ?-languages -- Ensembles reconnaissables de mots bi-inpinis Limite et déterminisme -- Automates boustrophedon...”
Cover Image
Read Now

118
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... -- A procedure for automatically proving the termination of a set of rewrite rules -- Petrireve...”
Cover Image
Read Now

119
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Algorithms for Automatic Detection of Software Failures -- Statecharts and B: Integration and Translation...”
Cover Image
Read Now

120
Published 1991
Springer Netherlands
Table of Contents: “... Elimination -- 3 The Metatheorist: Automatic Proofs of Theorems in Analysis Using Non-Standard Techniques...”