Eternity variables to prove simulation of specifications
ACM Transactions on Computational Logic (TOCL)
Journal of Parallel and Distributed Computing
State Space Reduction of Linear Processes Using Control Flow Reconstruction
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Incremental verification of owicki/gries proof outlines using PVS
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Hi-index | 0.90 |