Timing Diagrams: Formalization and Algorithmic Verification
Journal of Logic, Language and Information
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Model Checking Synchronous Timing Diagrams
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
Automated Test Generation and Verified Software
Verified Software: Theories, Tools, Experiments
| Hi-index | 0.00 |