Highly Influenced

@inproceedings{Mller1998AVE, title={A verification environment for I-O-automata based on formalized meta-theory}, author={Olaf M{\"u}ller}, year={1998} }

- Published 1998

This thesis deals with the computer-assisted veri cation of embedded systems described as Input/Output automata. We achieve contributions in two elds: the theory of untimed I/O automata and its tool support. For the latter a combination of the theorem prover Isabelle with model checking is used. Concerning the theory of I/O automata, we present a new temporal logic which considerably facilitates the usual implementation proofs between live I/O automata and serves as a property speci cation… CONTINUE READING

Highly Cited

This paper has 55 citations. REVIEW CITATIONS

Citations per Year

Semantic Scholar estimates that this publication has **56** citations based on the available data.

See our **FAQ** for additional information.

### Presentations referencing similar topics