A Highly Parallel FPL-Based Machine and Its Formal Verification.
Paul ShawGeorge J. MilnePublished in: FPL (1992)
Keyphrases
- formal verification
- highly parallel
- model checking
- efficient implementation
- parallel architectures
- model checker
- single chip
- bounded model checking
- automated verification
- single pass
- computing systems
- flowshop
- parallel programming
- real time
- parallel processing
- scheduling problem
- software development
- graphical models
- low cost
- general purpose
- information systems