Use of Semi-Formal and Formal Methods in Requirement Engineering of ILMS.

Souvik Sengupta Ranjan Dasgupta

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

Keyphrases

formal methods
software engineering
artificial intelligence
formal analysis
safety critical
development lifecycle
knowledge based systems
provably correct
formal specification
engineering design
model checker
model checking
temporal properties
process algebra
reactive systems
computer science
security properties