Automatically Checking an Implementation against Its Formal Specification
IEEE Transactions on Software Engineering
Simplifying termination proofs for rewrite systems by preprocessing
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Equational rules for rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
On Completion of Constraint Handling Rules
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Shallow confluence of conditional term rewriting systems
Journal of Symbolic Computation
Simultaneous checking of completeness and ground confluence for algebraic specifications
ACM Transactions on Computational Logic (TOCL)
Abstract critical pairs and confluence of arbitrary binary relations
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Checking formal specifications by testing
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
| Hi-index | 0.00 |