Efficient verification of determinate speed-independent circuits
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Bounded Delay Timing Analysis of a Class of CSP Programs
Formal Methods in System Design
Formal verification of iterative algorithms in microprocessors
Proceedings of the 37th Annual Design Automation Conference
Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
Using Multiple Levels of Abstractions in Embedded Software Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Timed Verification of Asynchronous Circuits
Concurrency and Hardware Design, Advances in Petri Nets
Automatic Abstraction for Verification of Timed Circuits and Systems
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Comparing the Efficiency of Asynchronous Systems
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Conservative approximations for heterogeneous design
Proceedings of the 4th ACM international conference on Embedded software
Refinement preserving approximations for the design and verification of heterogeneous systems
Formal Methods in System Design
Approximating Behaviors in Embedded System Design
Concurrency, Graphs and Models
Hi-index | 0.00 |