Conferences in DBLP

Formal Methods in Computer-Aided Design (FMCAD) (fmcad)
2008 (conf/fmcad/2008)

1. 
   Automatic Non-Interference Lemmas for Parameterized Model Checking. [Citation Graph (, )][DBLP]
   
   
2. 
   Invariant-Strengthened Elimination of Dependent State Elements. [Citation Graph (, )][DBLP]
   
   
3. 
   Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver. [Citation Graph (, )][DBLP]
   
   
4. 
   Verifying an Arbiter Circuit. [Citation Graph (, )][DBLP]
   
   
5. 
   BackSpace: Formal Analysis for Post-Silicon Debug. [Citation Graph (, )][DBLP]
   
   
6. 
   Formal Verification of Hardware Support for Advanced Encryption Standard. [Citation Graph (, )][DBLP]
   
   
7. 
   Combining Predicate and Numeric Abstraction for Software Model Checking. [Citation Graph (, )][DBLP]
   
   
8. 
   Automatic Generation of Local Repairs for Boolean Programs. [Citation Graph (, )][DBLP]
   
   
9. 
   Symbolic Program Analysis Using Term Rewriting and Generalization. [Citation Graph (, )][DBLP]
   
   
10. 
    Word-Level Sequential Memory Abstraction for Model Checking. [Citation Graph (, )][DBLP]
    
    
11. 
    BACH : Bounded ReAchability CHecker for Linear Hybrid Automata. [Citation Graph (, )][DBLP]
    
    
12. 
    A Refinement Approach to Design and Verification of On-Chip Communication Protocols. [Citation Graph (, )][DBLP]
    
    
13. 
    Augmenting a Regular Expression-Based Temporal Logic with Local Variables. [Citation Graph (, )][DBLP]
    
    
14. 
    Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow. [Citation Graph (, )][DBLP]
    
    
15. 
    Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques. [Citation Graph (, )][DBLP]
    
    
16. 
    Automatic Formal Verification of Block Cipher Implementations. [Citation Graph (, )][DBLP]
    
    
17. 
    A Write-Based Solver for SAT Modulo the Theory of Arrays. [Citation Graph (, )][DBLP]
    
    
18. 
    Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking. [Citation Graph (, )][DBLP]
    
    
19. 
    Beyond Vacuity: Towards the Strongest Passing Formula. [Citation Graph (, )][DBLP]
    
    
20. 
    Optimal Constraint-Preserving Netlist Simplification. [Citation Graph (, )][DBLP]
    
    
21. 
    Mechanized Information Flow Analysis through Inductive Assertions. [Citation Graph (, )][DBLP]
    
    
22. 
    Model Checking Nash Equilibria in MAD Distributed Systems. [Citation Graph (, )][DBLP]
    
    
23. 
    Going with the Flow: Parameterized Verification Using Message Flows. [Citation Graph (, )][DBLP]
    
    
24. 
    Invited Tutorial: Considerations in the Design and Verification of Microprocessors for Safety-Critical and Security-Critical Applications. [Citation Graph (, )][DBLP]
    
    
25. 
    A Theory-Based Decision Heuristic for DPLL(T). [Citation Graph (, )][DBLP]
    
    
26. 
    A Temporal Language for SystemC. [Citation Graph (, )][DBLP]
    
    
27. 
    A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance. [Citation Graph (, )][DBLP]
    
    
28. 
    Recording Synthesis History for Sequential Verification. [Citation Graph (, )][DBLP]
    
    
29. 
    Machine-Code Verification for Multiple Architectures - An Application of Decompilation into Logic. [Citation Graph (, )][DBLP]