![]() Those proofs rely on external toolkits: UPPAAL for safety proofs and ProVerif for security proofs. From the design diagrams - built upon SysML block and state machine diagrams -, safety and security proofs can be performed.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |