Process Algebra as a Common Framework for Hardware/Software Coverification.
Matthias RaffelsieperMohammad Reza MousaviJ. SleutersPublished in: IEEE Embed. Syst. Lett. (2011)
Keyphrases
- hardware software
- process algebra
- formal specification
- concurrent systems
- model checking
- design methodology
- asynchronous circuits
- hardware and software
- formal methods
- web services composition
- communication protocols
- hw sw
- embedded systems
- petri net
- temporal logic
- high performance computing
- multi core processors
- hardware design
- programming environment
- distributed systems
- web service composition
- low cost
- real time
- information systems
- web services
- formal languages
- case study
- expert systems
- field programmable gate array
- peer to peer
- computer systems
- reverse engineering
- service composition