Abstract debugging of higher-order imperative languages
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
Validating the intel pentium 4 microprocessor
Proceedings of the 38th annual Design Automation Conference
Automatic discovery of linear restraints among variables of a program
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Computer-Aided Reasoning: An Approach
Computer-Aided Reasoning: An Approach
Art of Verification with VERA
High level formal verification of next-generation microprocessors
Proceedings of the 40th annual Design Automation Conference
Formal Verification of the Pentium® 4 Floating-Point Multiplier
Proceedings of the conference on Design, automation and test in Europe
Design Verification with e
Transaction level modeling: an overview
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Industrial experience with test generation languages for processor verification
Proceedings of the 41st annual Design Automation Conference
Hi-index | 0.00 |
Embedded systems are components integrating software and hardware that are jointly and specifically designed to provide given functionalities, which are often critical. They are used in a very wide array of application areas - including transport, consumer ...