Woodcock, Jim

1. Learning Safe Neural Network Controllers with Barrier Certificates
   2020/09/18 by Zhao, Hengjun, Zeng, Xia, Chen, Taolue +2 · 5 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
2. A Survey of Practical Formal Methods for Security
   2021/09/03 by Tomáš Kulík, Kulik, Tomas, Brijesh Dongol +11 · 3 citations
   Computer Science · Engineering · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Information and Cyber Security #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research
3. Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL
   2021/05/11 by Foster, Simon, Hur, Chung-Kil, Woodcock, Jim · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
4. Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL
   2024/08/28 by Foster, Simon, Hur, Chung-Kil, Woodcock, Jim · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)