Poster Abstract: Getting Out of the Way - Safety Verification without Compromise.
Theodore P. PavlicSai Prathyusha PeddiPaolo A. G. SivilottiBruce W. WeidePublished in: ICCPS (2012)
Keyphrases
- safety analysis
- high level
- trade off
- model checking
- computer vision
- information systems
- wireless sensor networks
- formal verification
- higher level
- low level
- civil aviation
- nuclear power plant
- intelligent vehicles
- signature verification
- face verification
- database
- image sequences
- case study
- search engine
- information retrieval