Formal Methods in Designing Embedded Systems—the SACRES Experience
Formal Methods in System Design
The small model property: how small can it be?
Information and Computation
A System for Object Code Validation
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Translation Validation: From DC+ to C*
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Deciding Equality Formulas by Small Domains Instantiations
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Formal Verification of a Compiler Back-End Generic Checker Program
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Range Allocation for Equivalence Logic
FST TCS '01 Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science
Finite Instantiations in Equivalence Logic with Uninterpreted Functions
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Symbolic transfer function-based approaches to certified compilation
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Compiler verification: a bibliography
ACM SIGSOFT Software Engineering Notes
Refinement calculus: a basis for translation validation, debugging and certification
Theoretical Computer Science - Algebraic methods in language processing
Journal of Integrated Design & Process Science
Translation Validation: From Simulink to C
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Proceedings of the 46th Annual Design Automation Conference
Inference rules for proving the equivalence of recursive procedures
Time for verification
SAS'10 Proceedings of the 17th international conference on Static analysis
On the correctness of transformations in compiler back-ends
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
Tools for programming, code generation, and design
Embedded Systems Design
Yet another decision procedure for equality logic
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Synchronous programming in audio processing: A lookup table oscillator case study
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |