Search for persons
X
?
Automated Reasoning; Lecture Notes in Computer Science ,
1
Lemma Discovery and Strategies for Automated Induction:
, In:
?
Proceedings of the 35th Symposium on Implementation and Application of Functional Languages ,
2
QuickerCheck: Implementing and Evaluating a Parallel Run-Ti..:
, In:
?
Automated Deduction – CADE 28; Lecture Notes in Computer Science ,
4
Twee: An Equational Theorem Prover:
, In:
?
Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages ,
5
Template-based Theory Exploration: Discovering Properties o..:
, In:
?
2019 IEEE 17th International Conference on Industrial Informatics (INDIN) ,
6
Evaluating Two Semantics for Falsification using an Autonom..:
, In:
?
Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing ,
7
Safety at speed: in-place array algorithms from pure functi..:
, In:
?
Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang ,
8
Understanding formal specifications through good examples:
, In:
?
Proceedings of the 11th International Workshop on Automation of Software Test ,
10
Find more bugs with QuickCheck!:
, In:
?
Proceedings of the 10th ACM SIGPLAN workshop on Erlang ,
11
Accelerating race condition detection through procrastinati..:
, In:
?
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming ,
12