Formal Methods for Characterization and Analysis of Quality Specifications in Component-based Systems.

Published in: CoRR (2022)

Keyphrases

formal methods
formal analysis
formal specification
model checker
safety critical
knowledge based systems
high quality
distributed systems
reactive systems
case study
model checking
artificial intelligence
knowledge management
formal model
formal specification language