Model checking and abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Property preserving abstractions for the verification of concurrent systems
Formal Methods in System Design - Special issue on computer-aided verification (based on CAV'92 workshop)
Object-oriented hardware modelling—where to apply and what are the objects?
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Design and specification of embedded systems in Java using successive, formal refinement
DAC '98 Proceedings of the 35th annual Design Automation Conference
Hi-index | 0.00 |