Searching for "Automata as Abstractions." – sorted by Relevance.
114 documents found, showing 1 through 10.
Next 10 →
-
Symbolic abstraction of automata Third Year
- …Project 22703: SYRF Deliverable 3.1.3 Symbolic abstraction of automata Third Year We contribute…
- Add To MetaCart
-
Closed-Form Evaluation and Abstraction for Parametric Timed Automata
- …Closed-Form Evaluation and Abstraction for Parametric Timed Automata (Abstract) B'eatrice B…
- Add To MetaCart
-
Abstracting cryptographic protocols with tree automata
- …Abstracting Cryptographic Protocols with Tree Automata ⋆ Abstract David Monniaux http…
- Cited by 49 (0 self) – Add To MetaCart
-
I/O Automata and Beyond: Temporal Logic and Abstraction in Isabelle
- …I/O Automata and Beyond: Temporal Logic and Abstraction in Isabelle Olaf Muller ? Institut fur…
- Cited by 13 (4 self) – Add To MetaCart
-
Strategies 2004 Preliminary Version PVS Strategies for Proving Abstraction Properties of Automata
- … abstraction relation between the states of the automata, and then show that this relation is preserved by all…
- Add To MetaCart
-
Computing with Solitons: A Review and Prospectus
- … the discovery of solitons in cellular automata, to an abstract model for particle computation (particle machines…
- Cited by 3 (1 self) – Add To MetaCart
-
A Verification Environment for I/O Automata -- Part I: Temporal Logic and Abstraction
- … at M unchen A Verification Environment for I/O Automata -- Part I: Temporal Logic and Abstraction…
- Add To MetaCart
-
A formalization of the IWIM model
- … case-place automata as an abstract formal framework for the `idealized workers and idealized managers…
- Cited by 3 (2 self) – Add To MetaCart
-
Lfm2000: Fifth NASA Langley Formal Methods Workshop
- … University Abstraction Relationships for Real-Time Specifications ........................ 13 Monica…
- Add To MetaCart
-
Learning Communicating Automata from MSCs
- … Devices / Models of Computation / Automata Abstract—This paper is concerned with bridging the gap between…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
