1993
119 references published this year.
Quantum random walks
Yakir Aharonov and others (1993) · American Physical Society (APS)
On the comparison of HOL and Boyer-Moore for formal hardware verification
C. M. Angelo and others (1993) · Formal Methods in System Design · Springer Science and Business Media LLC
The Formal Semantics Definition of a Multi-Rate DSP Specification Language in HOL11Work sponsored by CNPq (Brazilian Government) and CHEOPS Project (ESPRIT BRA “3215”).
C M Angelo and others (1993) · Elsevier
Fault injection and dependability evaluation of fault-tolerant systems
Jean Arlat (1993) · Institute of Electrical and Electronics Engineers (IEEE)
MOSFET Models for VLSI Circuit Simulation: Theory and Practice
Narain D. Arora (1993) · Springer
Formal methods: a survey
S. Austin and others (1993) · National Physical Laboratory, Teddington
Automatic verification of speed-independent circuit designs using the Circal system
Andrew Bailey (1993) · Correct Hardware Design and Verification Methods · Springer-Verlag
Difference unification
David Basin and others (1993) · Proc. 13th Intern
Specification and formal synthesis of digital circuits
M. Bombana and others (1993) · Elsevier
DDD-FM9001: Derivation of a verified microprocessor
Bhaskar Bose and others (1993) · Correct Hardware Design and Verification Methods · Springer Berlin Heidelberg
A Lazy Approach to Fully-Expansive Theorem Proving
Richard J Boulton (1993) · Elsevier
Formal methods in safety-critical standards
Jonathan P. Bowen (1993) · Proceedings 1993 Software Engineering Standards Symposium · IEEE
Processor- and memory-based checkpoint and rollback recovery
Nicholas S. Bowen and others (1993) · Computer · IEEE Computer Society
Safety-critical systems, formal methods and standards
Jonathan P. Bowen and others (1993) · Software Engineering Journal
Rippling: A heuristic for guiding inductive proofs
Alan Bundy and others (1993) · Elsevier BV
Refining and Defining the Program Dependence Web
P L Campbell and others (1993)
Inductive proofs in LAMBDA
Francisco J. Cantu (1993) · Blue Book Note 819, MRG, University of Edinburgh
Exploiting symmetry in temporal logic model checking
E. M. Clarke and others (1993) · Springer Berlin Heidelberg
Verification of the Futurebus1 cache coherence protocol
E. M. Clarke and others (1993) · Proceedings CHDL
The Concurrency Workbench: A semantics-based tool for the verification of concurrent systems
R. Cleaveland and others (1993) · ACM Trans. Program Lang. Syst.
Perfect domination in graphs
E. J. Cockayne and others (1993) · Journal on Combinatorics, Information and System Sciences
Program verification: Fundamental issues in computer science
Timothy R. Colburn and others (1993) · Springer
Division with speculation of quotient digits
Jordi Cortadella and others (1993)
An international survey of industrial applications of formal methods
D. Craigen and others (1993) · Tech. Rep. NIST GCR 93/626
An International Survey of Industrial Applications of Formal Methods
Dan Craigen and others (1993) · Springer London
Automatic synthesis of fast compact asynchronous control circuits
Al Davis and others (1993) · Working Conference on Asynchronous Design Methodologies, Manchester, England, March 1993.
Development of Elementary Numerical Abilities: A Neuronal Model
Stanislas Dehaene and others (1993) · Journal of Cognitive Neuroscience · The MIT Press
Social Processes and Proofs of Theorems and Programs
R. A. De Millo and others (1993) · Program Verification: Fundamental Issues in Computer Science · Springer
Fixing the Software Patent
Ewald Detjens (1993)
Star and Perp
J.M. Dunn (1993) · Philosophical Perspectives
A verifier for network decompositions of command-based specifications
Jo C. Ebergen and others (1993) · Proceedings of the 26th Annual Hawaii International Conference on System Sciences
Generating BDDs for symbolic model checking in CCS
Reinhard Enders and others (1993) · Springer Science and Business Media LLC
Families in the 1990s: Universal Values, Uncommon Experiences
W. Bradford Fay (1993) · Marketing Research
Program Verification: The Very Idea
James H. Fetzer (1993) · Program Verification: Fundamental Issues in Computer Science · Springer
Express saccades and visual attention
B. Fischer and others (1993) · Behavioral and Brain Sciences · Cambridge University Press
Assigning meanings to programs
Robert W. Floyd (1993) · Program Verification: Fundamental Issues in Computer Science · Springer
A micropipelined ARM
S. B. Furber and others (1993) · VLSI 93, September 1993. (submitted).
A CMOS VLSI implementation of an asynchronous ALU
J. D. Garside (1993) · Working Conference on Asynchronous Design Methodologies, Manchester, England, March 1993.
Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating-Point Unit
Jeremy Gibbons (1993) · Proceedings of the 13th New Zealand Computer Society Conference · New Zealand Computer Society
The computer as Von Neumann planned it
Michael D. Godfrey and others (1993) · IEEE Annals of the History of Computing
Operational Semantics Based Formal Symbolic Simulation
K G W Goossens (1993) · Elsevier
Introduction to HOL: A Theorem Proving Environment for Higher Order Logic
M. J. C. Gordon and others (1993) · Cambridge University Press
Principles of Communications Satellites
G. Gordon and others (1993) · John Wiley & Sons, Incorporated
A tool for symbolic program verification and abstraction
Susanne Graf and others (1993) · Lecture notes in computer science · Springer Science+Business Media
Normal form in a delay-insensitive algebra
Rix Groenboom and others (1993) · Working Conference on Asynchronous Design Methodologies, Manchester, England, March 1993.
Space Radiation Effects Program: an overview
M. Gussenhoven and others (1993) · Institute of Electrical and Electronics Engineers (IEEE)
Larch: Languages and Tools for Formal Specification
John V. Guttag and others (1993) · Springer New York
The cache memory book
Jim Handy (1993) · Academic Press Professional, Inc.
Strongly-typed theory of structures and behaviours
Keith Hanna and others (1993) · Correct Hardware Design and Verification Methods · Springer-Verlag
A framework for defining logics
R. Harper and others (1993) · Association for Computing Machinery (ACM)
Asynchronous design methodologies: An overview
Scott Hauck (1993) · Technical Report TR93-05-07
Towards a provably correct hardware implementation of occam
Jifeng He and others (1993) · Springer Nature
Cooperative shared memory
M. D. Hill and others (1993) · Association for Computing Machinery (ACM)
BDD-Based debugging of designs using language containment and fair CTL
Ramin Hojati and others (1993) · Lecture notes in computer science · Springer Science+Business Media
The Death of Proof
John Horgan (1993) · Scientific American · Springer Nature
Optical Coherence Tomography
David Huang (1993)
Formal Tools for Tri-State Design in Busses
R.B. Hughes and others (1993) · Higher Order Logic Theorem Proving and its Applications · Elsevier
A denotational approach for type-checking in object-oriented programming languages
Roberto Ierusalimschy (1993) · Computer Languages · Elsevier
Translating dependent type theory into higher order logic
Bart Jacobs and others (1993) · Typed Lambda Calculi and Applications (TLCA '93) · Springer Nature
Berkeley's philosophy of mathematics
Douglas M. Jesseph (1993) · University of Chicago Press
Design Interfaces for High-Level Synthesis: Library Modelling, Netlist Generation and Visualisation
S. S. Johal (1993)
Implementing a stack as a delayinsensitive circuit
Mark B. Josephs and others (1993) · Working Conference on Asynchronous Design Methodologies, Manchester, England, March 1993.
Logic Program Synthesis via Proof Planning
I. Kraan and others (1993) · Springer London
Structuring and automating hardware proofs in a higher-order theorem-proving environment
R. Kumar and others (1993) · Springer Science and Business Media LLC
Verification of a multiplier: 64 bits and beyond
Robert P. Kurshan and others (1993) · Lecture notes in computer science · Springer Science+Business Media
High level synthesis and generating FPGAs with the BEDROC system
Miriam Leeser and others (1993) · Journal of VLSI signal processing systems for signal, image and video technology · Springer Science and Business Media LLC
An investigation of the Therac-25 accidents
Nancy G. Leveson and others (1993) · Computer · IEEE
A History of CLU
Barbara Liskov (1993) · MIT Laboratory for Computer Science
Unified parallel lattice structures for time-recursive discrete cosine/sine/Hartley transforms
K. J. Ray Liu and others (1993) · IEEE Transactions on Signal Processing · Institute of Electrical and Electronics Engineers
Model checking, abstraction, and compositional reasoning
D. L. Long (1993) · Ph.D. Thesis
Model Checking, Abstraction, and Compositional Verification
David E. Long (1993)
A lower bound on the period length of a distributed scheduler
Yossi Malka and others (1993) · Algorithmica · Springer Science+Business Media
Increasing the versatility of heuristic based theorem provers
Alistair Manning and others (1993) · Lecture notes in computer science · Springer Science+Business Media
Tomorrow's Digital Hardware will be Asynchronous and Verified
Alain J. Martin (1993) · California Institute of Technology
Fast routing table lookup using CAMs
Anthony J. McAuley and others (1993) · IEEE Conference on Computer Communications (INFOCOM)
Symbolic Model Checking
Kenneth L. McMillan (1993) · Kluwer Academic Publishers
Higher order logic and hardware verification
Tom F. Melham (1993) · Cambridge University Press
Newtonian Arbiters Cannot be Proven Correct
Michael Mendler and others (1993) · Formal Methods in System Design
Correct Hardware Design and Verification Methods: IFIP WG10.2 Advanced Research Working Conference, CHARME '93
Unattributed (1993) · Springer
An empirical study of evaluating software development environment quality
T. Miyoshi and others (1993) · IEEE Transactions on Software Engineering · Institute of Electrical and Electronics Engineers (IEEE)
The S3.mp architecture: A local area multiprocessor
Andreas G. Nowatzyk and others (1993) · ACM Symposium on Parallel Algorithms and Architectures (SPAA)
Subgemini: Identifying Subcircuits using a Fast Subgraph Isomorphism Algorithm
Miles Ohlrich and others (1993) · Proceedings of the 30th International Design Automation Conference
Inductive definitions in the system Coq rules and properties
Christine Paulin-Mohring (1993) · Springer-Verlag
Derivation of a DRAM memory interface by sequential decomposition
K. Rath and others (1993) · Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93 · IEEE Comput. Soc. Press
An introduction to behavior tables
K. Rath and others (1993) · Indiana University, Computer Science Department
The development of the C language
Dennis M. Ritchie (1993)
Linear test times for delay-insensitive circuits: A compilation strategy
Marly Roncken and others (1993) · Working Conference on Asynchronous Design Methodologies, Manchester, England, March 1993.
Dynamic variable ordering for ordered binary decision diagrams
Richard L. Rudell (1993) · International Conference on Computer Aided Design
Formal Methods and the Certification of Critical Systems
John Rushby (1993) · SRI International, Computer Science Laboratory
Formal verification of algorithms for critical systems
John Rushby and others (1993) · IEEE Transactions on Software Engineering · IEEE Computer Society
The discrepancy of (n?) n ?1
Johannes Schoissengeier (1993) · Springer Science and Business Media LLC
A type-theoretical alternative to ISWIM, CUCH, OWHY
D. S. Scott (1993) · Elsevier BV
Voss - a formal hardware verification system user's guide
Carl-Johan H. Seger (1993) · Technical Report 45
Non-negative Matrices and Markov Chains
E. Seneta (1993) · Springer, Heidelberg
Transformational Rewriting with Ruby
Robin Sharp and others (1993) · Computer Hardware Description Languages and their Applications · Elsevier
Limits of Correctness in Computers
Brian Cantwell Smith (1993) · Program Verification: Fundamental Issues in Computer Science · Springer
The Complexity of Propositional Tense Logics
Edith Spaan (1993) · Diamonds and Defaults · Springer Netherlands
Consortium Requirements Engineering Guidebook
Software Productivity Consortium (1993) · Software Productivity Consortium, Herndon, VA
Formal Methods in Circuit Design
Victoria Stavridou (1993) · Cambridge University Press
Encyclopedia of Ukraine
Danylo Struk (1993)
Handshake Circuits: An Asynchronous Architecture for Vlsi Programming
K. Van Berkel (1993) · Cambridge International Series on Parallel Computation : 5. Cambridge University Press
VLSI programming of a modulo-n counter with constant response time and constant power
Kees van Berkel (1993) · Working Conference on Asynchronous Design Methodologies, Manchester, England, March 1993.
Femto-VHDL: The Semantics of a Subset of VHDL and its Embedding in the HOL Proof Assistant
John Peter Van Tassel (1993)
A Formalisation of the VHDL Simulation Cycle
John P. Van Tassel (1993) · Higher Order Logic Theorem Proving and its Applications · Elsevier
Verification and diagnosis of digital systems by ternary reasoning
Ayman M. Wahba and others (1993) · Springer-Verlag
Deriving a Correct Computer
Li-Guo Wang (1993) · Higher Order Logic Theorem Proving and its Applications · Elsevier
Model-Based Systems Engineering
A. W. Waymore (1993) · CRC Press
Scalable directories for cache-coherent shared-memory multiprocessors
W.-D. Weber (1993)
Principles of CMOS VLSI Design - A Systems Perspective
N. H. Weste and others (1993) · Addison-Wesley, 2nd ed., 1993
Transaction Cost Economics and Organization Theory
O. Williamson (1993) · Oxford University Press (OUP)
Abstract Theories in HOL
Phillip J Windley (1993) · Elsevier
A theory of generic interpreters
Windley, Phillip J. (1993) · Springer-Verlag
The formal semantics of programming languages: an introduction
Glynn Winskel (1993) · MIT Press
Partial-order methods for temporal verification
Pierre Wolper and others (1993) · Lecture notes in computer science · Springer Science+Business Media
Formal Verification of VIPER's ALU
Wai Wong (1993) · University of Cambridge Computer Laboratory
Recording HOL proofs
W. Wong (1993) · University of Cambridge, Computer Laboratory
Mechanisms for cooperative shared memory
D. A. Wood and others (1993) · ACM Press
Hazard-free asynchronous circuit synthesis
Meng-Lin Yu and others (1993) · Working Conference on Asynchronous Design Methodologies, Manchester, England, March 1993.
An example of interactive hardware transformation
Z. Zhu and others (1993) · Indiana University, Computer Science Department