An Overview of Formal Verification for the Time-Triggered Architecture
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Intrusion-Tolerant Group Management in Enclaves
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Proceedings of the 26th International Conference on Software Engineering
Proof-Guided Testing: An Experimental Study
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Model checking for the practical verificationist: a user's perspective on SAL
Proceedings of the second workshop on Automated formal methods
Timeout and calendar based finite state modeling and verification of real-time systems
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Easy parameterized verification of biphase mark and 8n1 protocols
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Hi-index | 0.02 |