Author:Alexei Lisitsa
Keyphrasescryptographic protocols, finite model finders, first-order predicate logic, infinite-state systems, parameterized systems, program analysis2, program specialization2, program transformation2, program verification, supercompilation2, verification. |