Analyzing model checking approach for multi agent system verification

@article{Bakar2011AnalyzingMC,
  title={Analyzing model checking approach for multi agent system verification},
  author={Najwa Abu Bakar and Ali Selamat},
  journal={2011 Malaysian Conference in Software Engineering},
  year={2011},
  pages={95-100}
}
During requirement specification process of software development activities, many existing systems or business process requirements have been captured using natural language or specialized tools such as UML. However, the capturing of informal requirements into formalized properties has not been taken into attention by software developers due to time and budget constraints. It is critical for the informally captured requirements to be formally specified in order to perform system verification… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-2 OF 2 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 19 REFERENCES

A Tutorial on Uppaal

VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

A model checker for the verification of multi - agent systems "

H. Qu
  • Computer Aided Verification
  • 2009

Analysis on the model checking agent for SMS Management System verification using temporal logic

A. Selamat, S.D.A. Bujang
  • 3rd SEATUC Symposium
  • 2009
VIEW 1 EXCERPT

Y

S. Takata
  • Umeda, "Advances in life cycle engineering for sustainable manufacturing businesses"
  • 2007
VIEW 1 EXCERPT