Publisher
Institution of Engineering and Technology (IET)
Subject
Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science
Reference12 articles.
1. Kaufmann, M., Martin, A.K., and Pixley, C.: ‘Design constraints in symbolic model checking’, (Computer Aided Verification 1998)
2. Long, D.E.: ‘Model checking, abstraction, and compositional verification’, (Carnegie Mellon University Publication, School of Computer Science 1993 July),PhD dissertation
3. Clarke, E.M., Grumberg, O., and Peled, D.A.: ‘Model checking’, (MIT Press 1999)
4. A Formal Framework for Verification of Embedded Custom Memories of the Motorola MPC7450 Microprocessor
5. Validating PowerPC microprocessor custom memories