# Statechart Verification with iState

**Authors:** Dai Tri Man Le  
**arXiv:** [0909.1361](https://arxiv.org/abs/0909.1361)  
**Date:** 2009-09-08  
**Summary page:** https://www.summarizepaper.com/en/paper/0909.1361v1/

## Key points

- Paper titled "Statechart Verification with iState" is an extended version of an abstract published in FM 06
- Provides a comprehensive description of the algorithm used to generate verification conditions from statechart structures implemented in the iState tool
- Proposes a novel method for defining predicate semantics for statecharts, drawing parallels to how predicate semantics are assigned to programming languages
- Dai Tri Man Le offers valuable insights into the field of statechart verification
- Presents innovative approaches for analyzing and validating statechart models

## Summary

This paper titled "Statechart Verification with iState" is an extended version of an abstract published in FM 06. It provides a comprehensive description of the algorithm used to generate verification conditions from statechart structures implemented in the iState tool. The authors propose a novel method for defining predicate semantics for statecharts, drawing parallels to how predicate semantics are assigned to programming languages. Dai Tri Man Le offers valuable insights into the field of statechart verification and presents innovative approaches for analyzing and validating statechart models.