Login / Signup
A Formal Framework for Verification of Embedded Custom Memories of the Motorola MPC7450 Microprocessor.
Jayanta Bhadra
Andrew K. Martin
Jacob A. Abraham
Published in:
Formal Methods Syst. Des. (2005)
Keyphrases
</>
real time
information retrieval
main contribution
information systems
formal model
conceptual framework
formal methods
probabilistic model
low cost
high speed
domain specific
theoretical framework
petri net
functional verification