HOL

VeriPhy: verified controller executables from verified cyber-physical system models

Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer

引用数: 59 • 2018

Formal analysis of fractional order systems in HOL

Umair Siddique, Osman Hasan

引用数: 14 • 2011

VeriPhy: verified controller executables from verified cyber-physical system models

Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer

引用数: 11 • 2018

Certifiable Specification and Verification of C Programs

Christoph Lüth, Dennis Walter

引用数: 10 • 2009

Formal analysis of the continuous dynamics of cyber–physical systems using theorem proving

Adnan Rashid, Osman Hasan

引用数: 9 • 2020

Planificación de Trayectorias con el Algoritmo RRT. Aplicación a Robots No Holónomos

Diego García, Fernando Gómez-Bravo, Federico Cuesta, Anı́bal Ollero

引用数: 9 • 2006

Formally Verified Animation for RoboChart Using Interaction Trees

Kangfeng Ye, Simon Foster, Jim Woodcock

引用数: 7 • 2022

Formalization of Function Matrix Theory in HOL

Zhiping Shi, Zhenke Liu, Yong Guan, Shiwei Ye, Jie Zhang, Hongxing Wei

引用数: 6 • 2014

Formally verified animation for RoboChart using interaction trees

Kangfeng Ye, Simon Foster, Jim Woodcock

引用数: 6 • 2023

Automated Compositional Verification for Robotic State Machines using Isabelle/HOL

Yan Fang, Simon Foster, Ibrahim Habli

引用数: 5 • 2023

Formalization of bond graph using higher-order-logic theorem proving

Ujala Qasim, Adnan Rashid, Osman Hasan

引用数: 4 • 2021

Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving

Adnan Rashid, Osman Hasan

引用数: 2 • 2019