Formalizing and verifying compatibility and consistency of SysML blocks.

Oscar Carrillo Samir Chouali Hassan Mountassir

Published in: ACM SIGSOFT Softw. Eng. Notes (2012)

Keyphrases

formal methods
model checking
modeling language
variable size
consistency checking
safety analysis
databases
case study
real time
information retrieval
genetic algorithm
information systems
image quality
block size
maintaining consistency