Sort by
Refine Your Search
-
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
Searches related to formal verification
Enter an email to receive alerts for formal-verification "University of Glasgow" positions