Login / Signup

SMACS: A framework for formal verification of complex adaptive systems.

Muhammad Ilyas FakhirSyed Asad Raza KazmiAwais QasimAtif Ishaq
Published in: Open Comput. Sci. (2023)
Keyphrases
  • formal verification
  • model checking
  • software architecture
  • neural network
  • cooperative
  • evolutionary algorithm
  • recent advances
  • complex adaptive systems