Sort by
Refine Your Search
-
Employer
-
Field
-
develop, and mechanise via a proof assistant like Agda, a unified formal model (Uni-pi) based on the pi-calculus and session/linear types for the verification of safety, adaptability and resilience
-
for the verification of safety, adaptability and resilience properties, while maintaining a realistic view of distributed software systems in the presence of failures, message inconsistencies or service degradation
-
encouraged to adopt a creative approach to problem-solving, exploring various deep learning techniques. Verification of these models and algorithms will be conducted using benchmark datasets and real-world
Searches related to software verification
Enter an email to receive alerts for software-verification positions