Login / Signup
Towards Leveraging Domain Knowledge in State-Based Formal Methods.
Yamine Aït Ameur
Régine Laleau
Dominique Méry
Neeraj Kumar Singh
Published in:
Logic, Computation and Rigorous Methods (2021)
Keyphrases
</>
formal methods
domain knowledge
formal analysis
model checker
knowledge based systems
formal specification
artificial intelligence
knowledge base
state space
object oriented
model checking
knowledge sources
safety critical
data mining
distributed systems
process algebra