Work

Automated Compositional Verification for Robotic State Machines using Isabelle/HOL

Year: 2023

Type: conference-paper

Source: International Conference on Engineering of Complex Computer Systems

Authors: Fang Yan, Simon Foster, Ibrahim Habli

Institution: University of York

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4388894011

FWCI: 2.19

Cites: 31

Cited by: 5

Related to: 10