Checking the TWIN Elevator System by Translating Object-Z to SMV.
Sören PreibuschFlorian KammüllerPublished in: FMICS (2007)
Keyphrases
- d objects
- complex objects
- social networks
- object model
- symbolic model checking
- object level
- moving objects
- control system
- real time
- object tracking
- spatial information
- formal verification
- real objects
- target object
- spatial relations
- model checking
- state space
- expert systems
- three dimensional
- case study
- artificial intelligence