David Nowak Member Status: Collaborator E-mail: fmse.info.uaic.ro Publications 2018 A Certified Procedure for RL Verification (SYNASC 2017 post-proceedings, to appear in IEEE Conference Publishing Service ) David Nowak and Vlad Rusu and Andrei Arusoaie and Dorel Lucanu BIB 2017 A Certified Procedure for RL Verification (SYNASC 2017 pre-proceedings) David Nowak and Vlad Rusu and Andrei Arusoaie and Dorel Lucanu PDF BIB 2015 Verifying Reachability-Logic Properties on Rewriting-Logic Specifications (Extended Version) David Nowak and Vlad Rusu and Andrei Arusoaie and Dorel Lucanu TR15-01 BIB Verifying Reachability-Logic Properties on Rewriting-Logic Specifications David Nowak and Vlad Rusu and Andrei Arusoaie and Dorel Lucanu LRC BIB
A Certified Procedure for RL Verification (SYNASC 2017 post-proceedings, to appear in IEEE Conference Publishing Service ) David Nowak and Vlad Rusu and Andrei Arusoaie and Dorel Lucanu BIB
A Certified Procedure for RL Verification (SYNASC 2017 pre-proceedings) David Nowak and Vlad Rusu and Andrei Arusoaie and Dorel Lucanu PDF BIB
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications (Extended Version) David Nowak and Vlad Rusu and Andrei Arusoaie and Dorel Lucanu TR15-01 BIB
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications David Nowak and Vlad Rusu and Andrei Arusoaie and Dorel Lucanu LRC BIB