Application of formal methods to digital system design

Application of formal methods to digital system design

Bibliographic Details
Main Author:	Herbert, J. M. J.
Published:	University of Cambridge 1986
Subjects:	005 Logic programming][Integrated circuits
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.233985

Similar Items

A formalism for representing qualified knowledge and its implementation for large knowledge bases
by: Jiang, Y. J.
Published: (1986)

Logic programming as a formalism for specification and implementation of computer systems
by: Kusalik, Anthony Joseph
Published: (2010)

Logic and objects : language, application and implementation
by: McCabe, Francis Gregory Christopher
Published: (1989)

IKBS for real-time monitoring and control applications
by: Pokkunuri, Bhanu Prasad
Published: (1990)

Over-constrained systems in CLP and CSP
by: Jampel, Michael Benjamin
Published: (1996)

A methodology and a tool for the formalisation and representation of 'common sense' (naive physical) knowledge
by: Cunningham, J.
Published: (1985)

Developing semantics of Verilog HDL in formal compositional design of mixed hardware/software systems
by: Dimitriov, Jordan
Published: (2002)

From Z to C : illustration of a rigorous development method
by: Neilson, D. S.
Published: (1989)

Pragmatic application of formal methods to safety critical systems
by: Pratt, Norman Derek
Published: (1996)

The formal verification of hard real-time systems
by: Cardell-Oliver, Rachel Mary
Published: (1992)

Formal pragmatic model for imperatives interpretation
by: PeÌrez RamiÌrez, Miguel
Published: (2003)

Prolog and expert systems
by: Davies, Peter Leslie
Published: (1987)

Integrity constraints in deductive databases
by: Das, Subrata Kumar
Published: (1990)

The Clausal Theory of Types
by: Wolfram, David Anthony
Published: (1990)

A message driven or-parallel logic architecture
by: Delgado Rannauro, Sergio A.
Published: (1989)

A logic-based concurrent object-oriented programming language
by: Melendez, Rafael Ramirez
Published: (1996)

Effective meta-programming in declarative languages
by: Bowers, Antony Francis
Published: (1998)

And-parallel implementation of Prolog on distributed memory machines
by: Verden, Andrew Roy
Published: (1991)

Parallel execution of Parlog
by: Cheese, Andrew B.
Published: (1990)

Agent theories and architectures
by: Seel, Nigel
Published: (1989)

Abduction by deduction
by: Fung, Tze Ho
Published: (1996)

Coupled resolution engines for programming knowledge based systems in logic
by: Taylor, Hamish
Published: (1989)

Language interoperability and logic programming languages
by: Cook, Jonathan J.
Published: (2005)

Switched-current logic for digital circuit design
by: Subramanian, Vivek
Published: (2013)

EXTENSIONS OF AHPL AND OPTIMIZATION OF THE AHPL COMPILER FOR MSI/LSI DESIGN
by: Swanson, Robert Earl, 1944-
Published: (1978)

Software tools to support formal methods
by: McParland, Patrick J.
Published: (1989)

Analysis and specialisation of imperative programs : an approach using CLP
by: Peralta Estrada, Julio C.
Published: (2000)

Implementation of committed choice logic languages on shared memory multiprocessors
by: Crammond, James Alexander
Published: (1988)

Gazing : a technique for controlling the use of rewrite rules
by: Plummer, David John
Published: (1988)

A method for formal specification and verification of interactive systems
by: Paterno, Fabio Domenico
Published: (1995)

Synthesis of programmable logic arrays
by: Hadjinicolaou, M. G.
Published: (1986)

A formal development method for the construction of correct distributed applications software
by: Roantree, Donal Kevin
Published: (1993)

Formal method for the retrospective specification of the functionality of existing software systems
by: Halmay, Edit
Published: (1988)

Formal techniques in the management of software design
by: Richardson, W. E.
Published: (1983)

Formal methods for rapid software prototyping
by: Quintas Figueiredo de Barros, Alexandra Maria
Published: (1997)

Formal methods and reuse in software engineering
by: Higgs, Clive Richard
Published: (1990)

Specifying distributed applications : the limits of formality
by: Fergus, Edward Joseph
Published: (1990)

The formal development of secure systems
by: Graham, -Cumming
Published: (1992)

Formal models for systems prototyping
by: Barroca, Leonor Maria Melo Torcato
Published: (1989)

COMPARISON OF SCIRTSS EFFICIENCY WITH D-ALGORITHM APPLICATION TO ITERATIVE NETWORKS (TEST).
by: Chen, Daven, 1959-
Published: (1986)