Implementation relations and testing for cyclic systems with refusals and discrete time
Yes === We present a formalism to represent cyclic models and study di erent semantic frameworks that support testing. These models combine sequences of observable actions and the passing of (discrete) time and can be used to specify a number of classes of reactive systems, an example being roboti...
| Main Authors: | , , |
|---|---|
| Language: | en |
| Published: |
Elsevier
2020
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10454/17953 |