Login / Signup

COMPASTA: Extending TASTE with Formal Design and Verification Functionality.

Alberto BombardelliMarco BozzanoRoberto CavadaAlessandro CimattiAlberto GriggioMassimo NazariaEdoardo NicolodiStefano Tonetta
Published in: IMBSA (2022)
Keyphrases
  • formal methods
  • design principles
  • data sets
  • design process
  • computer aided
  • conceptual framework
  • databases
  • information retrieval
  • image sequences
  • design space
  • formal verification
  • functional verification