Mechanization of a Large DSML: An Experiment with AADL and Coq.

Jérôme Hugues Lutz Wrage John Hatcliff Danielle Stewart

Published in: MEMOCODE (2022)

Keyphrases

test case generation
formal methods
machine intelligence
theorem prover
test cases
software testing
decision making
multi agent
search algorithm
expert systems
fuzzy logic
software engineering