Verification of safety properties for parameterized regular systems.

David Cachera Katell Morin-Allory

Published in: ACM Trans. Embed. Comput. Syst. (2005)

Keyphrases

safety analysis
distributed systems
management system
computing systems
learning systems
autonomous mobile
intelligent vehicles
safety critical
formal methods
desirable properties
retrieval systems
database
knowledge based systems
intelligent systems
natural language
data structure
case study
e learning