Author:
Bouhoula Adel,Rusinowitch Michaël
Subject
General Computer Science,Theoretical Computer Science
Reference38 articles.
1. B. Bauer, R. Hennicker, Proving the correctness of algebraic implementations by the ISAR system, in: DISCO’93, Vol. 722, Lecture Notes in Computer Science, Springer, Berlin, 1993, pp. 2–16.
2. Proving the correctness of algebraically specified software: Modularity and observability issues;Bernot,1991
3. Towards an adequate notion of observation;Bernot,1992
4. Behavioural approaches to algebraic specifications;Bernot;Acta Inform,1994
5. N. Berregeb, A. Bouhoula, M. Rusinowitch, Observational proofs with critical contexts, Fundamental Approaches to Software Engineering (ETAP 98), LNCS, Vol. 1382, Springer, Berlin, March/April 1998, pp. 38–53.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SPIKE, an automatic theorem prover — revisited;2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2020-09
2. A short overview of Hidden Logic;Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science;2018
3. Mechanically certifying formula-based Noetherian induction reasoning;Journal of Symbolic Computation;2017-05
4. Behavioral equivalence of hidden k-logics: An abstract algebraic approach;Journal of Applied Logic;2016-07
5. Deduction-detachment theorem in hidden k-logics;Journal of Logic and Computation;2013-04-28