A Multi-Core Solver for Parity Games
Electronic Notes in Theoretical Computer Science (ENTCS)
Computation Tree Regular Logic for Genetic Regulatory Networks
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Theoretical Computer Science
Distributed on-the-fly model checking and test case generation
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
On parallel software verification using boolean equation systems
SPIN'12 Proceedings of the 19th international conference on Model Checking Software
Hi-index | 0.00 |
The choice of the most suitable middleware technology for a specific problem or domain is sometimes erroneously based on current trends instead of on a thorough comparison of the features offered by the different options. This could be the case of grid ...