Designing efficient algorithms for parallel computers
Designing efficient algorithms for parallel computers
Distributed algorithms and protocols
Distributed algorithms and protocols
Verification of synchronous sequential machines based on symbolic execution
Proceedings of the international workshop on Automatic verification methods for finite state systems
Verification of interacting sequential circuits
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Termination Detection of Diffusing Computations in Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Switching and Finite Automata Theory: Computer Science Series
Switching and Finite Automata Theory: Computer Science Series
Parallelizing the Murϕ Verifier
Formal Methods in System Design - Special issue on CAV '97
| Hi-index | 0.01 |