Formal Methods & Alloy in model checking
Define formal method in software engineering. – review and give short introduction of existing method for formal methods available – explain what is formal verification 2. Alloy – define and explain what is Alloy & Alloy Analyzer – explain strong…
