MPG.eBooks - Search Results - formal languages and automatic theorem

Search alternatives:
automatic theorem » automated theorem , automata theory
languages » language

Cover Image

1

Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... Protocols -- Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem...”

Cover Image

2

Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings

Published 1997

Springer Berlin Heidelberg

Table of Contents: “... component of PEP -- A tool to support formal reasoning about computer languages -- The term processor...”