Cover Image

Computer-Aided Reasoning : ACL2 Case Studies /

Show other versions (1)

Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. Included here are technical papers written by twenty-one contributors that report on self-c...

Full description

Bibliographic Details
Main Author:	Kaufmann, Matt
Corporate Author:	SpringerLink (Online service)
Other Authors:	Manolios, Panagiotis, Moore, J. Strother
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 2000.
Series:	Advances in formal methods ; 4.
Subjects:	Computer science. Software engineering. Electronic data processing. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Computer-Aided Reasoning : An Approach /
by: Kaufmann, Matt
Published: (2000)

The Object-Z Specification Language /
by: Smith, Graeme
Published: (2000)

Formal Methods for Distributed System Development : FORTE /
by: Bolognesi, Tommaso
Published: (2000)

Domain Modeling-Based Software Engineering : a Formal Approach /
by: Lu, Ruqian
Published: (2000)

Dependable Computing for Critical Applications /
by: Avižienis, Algirdas
Published: (1991)

Dependable Computing for Critical Applications 4 /
by: Cristian, Flaviu
Published: (1995)

Dependable Computing for Critical Applications 2 /
by: Meyer, John F.
Published: (1992)

Advances in computing science--ASIAN '99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : proceedings /
Published: (1999)

Compositional Verification of Concurrent and Real-Time Systems /
by: Juan, Eric Y. T.
Published: (2002)

The Architecture of Scientific Software : IFIP TC2/WG2.5 Working Conference on the Architecture of Scientific Software October 2-4, 2000, Ottawa, Canada /
by: Boisvert, Ronald F.
Published: (2001)

A Programming Approach to Computability /
by: Kfoury, A. J.
Published: (1982)

Distributed Applications and Interoperable Systems II : IFIP TC6 WG6.1 Second International Working Conference on Distributed Applications and Interoperable Systems (DAIS'99)June 28-July 1, 1999, Helsinki, Finland /
by: Kutvonen, Lea
Published: (1999)

Collision-Based Computing /
by: Adamatzky, Andrew
Published: (2002)

JSP for Practical Program Design /
by: Dudman, K. E.
Published: (1996)

A Structured Programming Approach to Data /
by: Coleman, Derek
Published: (1979)

Advances in computing science--ASIAN 2002 : Internet computing and modeling, grid computing, peer-to-peer computing, and cluster computing : 7th Asian Computing Science Conference, Hanoi, Vietnam, December 4-6, 2002 : proceedings /
Published: (2002)

TeX Reference Manual /
by: Bausum, David
Published: (2002)

Advances in computing science--ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : proceedings /
Published: (2003)

The Book of GENESIS : Exploring Realistic Neural Models with the GEneral NEural SImulation System /
by: Bower, James M.
Published: (1998)

Scientific Computing, Validated Numerics, Interval Methods /
by: Krämer, Walter
Published: (2001)

Data Fusion Applications : Workshop Proceedings Brussels, November 25, 1992 /
by: Pfleger, S.
Published: (1993)

Formal Techniques in Real-Time and Fault-Tolerant Systems /
by: Vytopil, Jan
Published: (1993)

Workload Characterization for Computer System Design /
by: John, Lizy Kurian
Published: (2000)

Computational Aspects of Complex Analysis : Proceedings of the NATO Advanced Study Institute held at Braunlage, Harz, Germany, July 26 - August 6, 1982 /
by: Werner, H.
Published: (1983)

Industrial Application of Electromagnetic Computer Codes /
by: Crutzen, Yves R.
Published: (1990)

Computational Techniques in Quantum Chemistry and Molecular Physics : Proceedings of the NATO Advanced Study Institute held at Ramsau, Germany, 4-21 September, 1974 /
by: Diercksen, G. H. F.
Published: (1975)

Basics of Software Engineering Experimentation /
by: Juristo, Natalia
Published: (2001)

Theory of computing and systems : ISTCS '92, Israel symposium, Haifa, Israel, May 27-28, 1992 : proceedings /
Published: (1992)

The Functional Treatment of Parsing /
by: Leermakers, René
Published: (1993)

Fundamentals of computation theory : 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991 : proceedings /
Published: (1991)

The Application of Mathematics in Industry /
by: Anderssen, R. S.
Published: (1982)

Numerical Solutions of the N-Body Problem /
by: Marciniak, Andrzej
Published: (1985)

Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 /
by: Jacobs, Bart
Published: (2002)

Mechanics /
by: Chester, W.
Published: (1980)

Combinatorial Complexes : a Mathematical Theory of Algorithms /
by: Sellers, Peter H.
Published: (1979)

Empirical foundations of information and software science /
Published: (1985)

Meeting the Challenge of Social Problems via Agent-Based Simulation : Post-Proceedings of the Second International Workshop on Agent-Based Approaches in Economic and Social Complex Systems /
by: Terano, Takao
Published: (2003)

Verification of Reactive Systems : Formal Methods and Algorithms /
by: Schneider, Klaus
Published: (2004)

Relational Database Technology /
by: Alagić, Suad
Published: (1986)

Semantic Integration of Heterogeneous Software Specifications /
by: Große-Rhode, Martin
Published: (2004)