The Effectiveness of the Gampong Qanun on the Care and Control of Livestock in Gampong Cot Seurani, Muara Batu District, North Aceh


  • Fauzah Nur Aksa Law Faculty, Universitas Malikussaleh, Indonesia
  • T Saifullah Law Faculty, Universitas Malikussaleh, Indonesia
  • Johan Law Faculty, Universitas Malikussaleh, Indonesia



Effectiveness, Gampong Qanun, Livestock, Cot Seurani


This paper examines the application of qanuns regarding the maintenance and control of livestock in the village of Cot Seurani, Muara Batu District, North Aceh. Therefore, to understand the application of the qanun, this paper uses the perspective of legal effectiveness. The study of legal effectiveness carried out in this study basically follows Soerjono Soekanto's opinion in which according to him, the benchmark for the study of legal effectiveness boils down to 5 (five) factors, namely: the content of a law, law enforcement, facilities and infrastructure that support law enforcement, society and the culture of the society in which a law is enacted. The interweaving of these five factors becomes a measure of whether a law is effective or not. The research problem answered in this study is how effective the implementation of the qanun is. In this paper, the approach used is a qualitative approach with the socio-legal method. Research data were collected through in-depth interviews, observation, and literature review. The research results show that prior to implementation, the qanun had been disseminated to all village communities through announcements at meetings, banners attached to walls at several village road points, and also through social media groups. Since the enactment of the qanun, it has had a positive impact in accordance with its objectives. Every perpetrator who violates the qanun will be tried in a customary court. Sanctions given in the form of fines and compensation. The response of the village community to the qanun regarding the control of livestock was very good, because they also felt it was important that there were regulations regarding this matter.


E.M. Clarke, E.A. Emerson, Design and synthesis of synchronization skeletons using branching time temporal logic, in: D. Kozen (Eds.), Workshop on Logics of Programs, Lecture Notes in Computer Science, vol. 131, Springer, Berlin, Heidelberg, 1981, pp. 52–71. DOI:

J.P. Queille, J. Sifakis, Specification and verification of concurrent systems in CESAR, in: M.

Dezani-Ciancaglini and U. Montanari (Eds.), Proceedings of the 5th International Symposium on Programming, Lecture Notes in Computer Science, vol. 137, Springer, Berlin, Heidelberg, 1982, pp. 337–351. DOI:

C. Baier, J-P. Katoen, Principles of Model Checking, MIT Press, 2008.

M. Kwiatkowska, G. Norman, D. Parker, Stochastic model checking, in: M. Bernardo, J. Hillston

(Eds.), Proceedings of the Formal Methods for the Design of Computer, Communication and Software Systems:

Performance Evaluation (SFM), Springer, Berlin, Heidelberg, 2007, pp. 220–270. DOI:

V. Forejt, M. Kwiatkowska, G. Norman, D. Parker, Automated verification techniques for probabilistic systems, in: M. Bernardo, V. Issarny (Eds.), Proceedings of the Formal Methods for Eternal Networked Software

Systems (SFM), Springer, Berlin, Heidelberg, 2011, pp. 53–113. DOI:

G.D. Penna, B. Intrigila, I. Melatti, E. Tronci, M.V. Zilli, Bounded probabilistic model checking with the muralpha verifier, in: A.J. Hu, A.K. Martin (Eds.), Proceedings of the Formal Methods in Computer-Aided Design, Springer, Berlin, Heidelberg, 2004, pp. 214–229. DOI:

E. Clarke, O. Grumberg, S. Jha, et al., Counterexample-guided abstraction refinement, in: E.A. Emerson, A.P. Sistla (Eds.), Computer Aided Verification, Springer, Berlin, Heidelberg, 2000, pp. 154–169. DOI:

H. Barringer, R. Kuiper, A. Pnueli, Now you may compose temporal logic specifications, in:

Proceedings of the Sixteenth Annual ACM Symposium on the Theory of Computing (STOC), ACM, 1984, pp. 51–63. DOI:

A. Pnueli, In transition from global to modular temporal reasoning about programs, in: K.R. Apt (Ed.), Logics and Models of Concurrent Systems, Springer, Berlin, Heidelberg, 1984, pp. 123–144. DOI:

B. Meyer, Applying "Design by Contract", Computer 25(10) (1992) 40–51. DOI:

S. Bensalem, M. Bogza, A. Legay, T.H. Nguyen, J. Sifakis, R. Yan, Incremental component-based construction and verification using invariants, in: Proceedings of the Conference on Formal Methods in Computer Aided Design (FMCAD), IEEE Press, Piscataway, NJ, 2010, pp. 257–256.

H. Barringer, C.S. Pasareanu, D. Giannakopolou, Proof rules for automated compositional verification through learning, in Proc. of the 2nd International Workshop on Specification and Verification of Component Based Systems, 2003.

M.G. Bobaru, C.S. Pasareanu, D. Giannakopoulou, Automated assume-guarantee reasoning by abstraction refinement, in: A. Gupta, S. Malik (Eds.), Proceedings of the Computer Aided Verification, Springer,

Berlin, Heidelberg, 2008, pp. 135–148. DOI: