EpiSpin: an eclipse plug-in for Promela/spin using spoofax
Proceedings of the 18th international SPIN conference on Model checking software
Hi-index | 0.00 |
The computer science research community is collaborating to develop verification technology that will demonstrably enhance the productivity and reliability with which software is designed, developed, integrated, and maintained.