• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 21 matches

• 1993
• 
  Andrew M. Bailey:
  Automatic Verification of Speed-Independent Circuit Designs Using the Circal System. CHARME 1993: 167-178
• 
  Per Bojsen:
  An Approach to Formalization of Data Flow Graphs. CHARME 1993: 258-269
• 
  Bhaskar Bose, Steven D. Johnson:
  DDD-FM9001: Derivation of a Verified Microprocessor. CHARME 1993: 191-202
• 
  Gianpiero Cabodi, Paolo Camurati:
  Advancements in Symbolic Traversal Technique. CHARME 1993: 155-166
• 
  Paolo Camurati, Fulvio Corno, Paolo Prinetto:
  A Methodology for System-Level Design for Verifiability. CHARME 1993: 80-91
• 
  Jacques Chazarain, Hélène Collavizza:
  Combining Symbolic Evaluation and Object-Oriented Approach for Verifying Processor-Like Architectures at the RT-Level. CHARME 1993: 109-121
• 
  Viktor Cingel:
  A Graph-Based Method for Timing Diagrams Representation and Verification. CHARME 1993: 1-14
• 
  Keith Hanna, Neil Daeche:
  Strongly-Typed Theory of Structures and Behaviours. CHARME 1993: 39-54
• 
  Neal A. Harman, John V. Tucker:
  Algebraic Models and the Correctness of Microprocessors. CHARME 1993: 92-108
• 
  Jifeng He, Ian Page, Jonathan P. Bowen:
  Towards a Provably Correct Hardware Implementation of Occam. CHARME 1993: 214-225
• 
  Joep L. W. Kessels:
  Calculational Derivation of a Counter with Bounded Response Time. CHARME 1993: 203-213
• 
  Thomas Kropf, Ramayya Kumar, Klaus Schneider:
  Embedding Hardware Verification Within a Commercial Design Framework. CHARME 1993: 242-257
• 
  Alan R. Martello, Steven P. Levitan:
  Temporal Analysis of Time Bounded Digital Systems. CHARME 1993: 27-38
• 
  Serafín Olcoz, José Manuel Colom:
  A Petri Net Approach for the Analysis of VHDL Descriptions. CHARME 1993: 15-26
• 
  Robin Sharp, Ole Rasmussen:
  Rewriting with Constraints in T-Ruby. CHARME 1993: 226-241
• 
  Scott F. Smith, Amy E. Zwarico:
  Correct Compilation of Specifications to Deterministic Asynchronous Circuits. CHARME 1993: 179-190
• 
  P. A. Subrahmanyam:
  Towards Verifying Large(r) Systems: A Strategy and an Experiment. CHARME 1993: 135-154
• 
  Ayman M. Wahba, Einar J. Aas:
  Verification and Diagnosis of Digital Systems by Termary Reasoning. CHARME 1993: 55-67
• 
  Phillip J. Windley:
  A Theory of Generic Interpreters. CHARME 1993: 122-134
• 
  Qinhai Zhang, Charles Trullemans:
  Logic Verification of Incomplete Functions and Design Error Location. CHARME 1993: 68-79
• 
  George J. Milne, Laurence Pierre:
  Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '93, Arles, France, May 24-26, 1993, Proceedings. Lecture Notes in Computer Science 683, Springer 1993, ISBN 3-540-56778-X [contents]