Computer-aided reasoning :
Kaufmann, Matt
Computer-aided reasoning : ACL2 case studies Matt Kaufmann; Panagiotis Manolios; J Strother Moore - New York: Springer Science+Business Media 2000. - xi, 337 p. 24 cm.
An exercise in graph theory / J Strother Moore --
Modular proof : the fundamental theorem of calculus / Matt Kaufmann --
Mu-calculus model-checking / Panagiotis Manolios --
High-speed, analyzable simulators / David Greve, Matthew Wilding, and David Hardin --
Verification of a simple pipelined machine model / Jun Sawada --
The DE language / Warren A. Hunt, Jr. --
Using macros to mimic VHDL / Dominique Borrione, Philippe Georgelin, and Vanderlei Rodrigues --
Symbolic trajectory evaluation / Damir A. Jamsek --
RTL verification : a floating-point multiplier / David M. Russinoff and Arthur Flatau --
Design verification of a safety-critical embedded verifier / Piergiorgio Bertoli and Paolo Traverso --
Compiler verification revisited / Wolfgang Goerigk --
Ivy : a preprocessor and proof checker for first-order logic / William McCune and Olga Shumsky --
Knuth's generalization of McCarthy's 91 function / John Cowles --
Continuity and differentiability / Ruben Gamboa.
9781441949813
Expert systems (Computer science)
Computer-aided design.
Software engineering
Computer science
Electronic data processing
006.33 / KAU
Computer-aided reasoning : ACL2 case studies Matt Kaufmann; Panagiotis Manolios; J Strother Moore - New York: Springer Science+Business Media 2000. - xi, 337 p. 24 cm.
An exercise in graph theory / J Strother Moore --
Modular proof : the fundamental theorem of calculus / Matt Kaufmann --
Mu-calculus model-checking / Panagiotis Manolios --
High-speed, analyzable simulators / David Greve, Matthew Wilding, and David Hardin --
Verification of a simple pipelined machine model / Jun Sawada --
The DE language / Warren A. Hunt, Jr. --
Using macros to mimic VHDL / Dominique Borrione, Philippe Georgelin, and Vanderlei Rodrigues --
Symbolic trajectory evaluation / Damir A. Jamsek --
RTL verification : a floating-point multiplier / David M. Russinoff and Arthur Flatau --
Design verification of a safety-critical embedded verifier / Piergiorgio Bertoli and Paolo Traverso --
Compiler verification revisited / Wolfgang Goerigk --
Ivy : a preprocessor and proof checker for first-order logic / William McCune and Olga Shumsky --
Knuth's generalization of McCarthy's 91 function / John Cowles --
Continuity and differentiability / Ruben Gamboa.
9781441949813
Expert systems (Computer science)
Computer-aided design.
Software engineering
Computer science
Electronic data processing
006.33 / KAU