Verification of microprograms. | Guide books (original) (raw)
Reflects downloads up to 13 Jan 2025Bibliometrics
Cited By
Save to Binder
- Publication Years1975 - 2024
- Publication counts298
- Citation count36,491
- Available for Download153
- Downloads (cumulative)1,647,943
- Downloads (12 months)147,155
- Downloads (6 weeks)24,710
- Average Downloads per Article10,771
- Average Citation per Article122
Recommendations
- Formal verification of ASMs using MDGs
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describing transition systems. MDG provides symbolic representation of transition ... - Efficient Verification of Sequential and Concurrent C Programs
There has been considerable progress in the domain of software verification over the last few years. This advancement has been driven, to a large extent, by the emergence of powerful yet automated abstraction techniques such as predicate abstraction. ... - Tightly integrate dynamic verification with formal verification: a GSTE based approach
ASP-DAC '05: Proceedings of the 2005 Asia and South Pacific Design Automation Conference
GSTE (Generalized Symbolic Trajectory Evaluation) is a high capacity formal verification technology that has been successfully applied to verifying complex Intel designs with tens of thousands of state elements. In this paper, we extend the use of GSTE ...