Login / Signup
A Method for Improving the Verification and Validation of Systems by the Combined Use of Simulation and Formal Methods.
Aznam Yacoub
Maâmar El-Amine Hamri
Claudia S. Frydman
Published in:
DS-RT (2014)
Keyphrases
</>
formal methods
significant improvement
mathematical model
database
information systems
database systems
model checking
databases
case study
software engineering
knowledge based systems
software architecture
security properties
verification method