Verifying reachability-logic properties on rewriting-logic specifications (extended version) - Archive ouverte HAL Access content directly
Reports (Technical Report) Year : 2015
Not file

Dates and versions

hal-01712416 , version 1 (19-02-2018)

Identifiers

  • HAL Id : hal-01712416 , version 1

Cite

Dorel Lucanu, Andrei Arusoaie, Vlad Rusu, David Nowak. Verifying reachability-logic properties on rewriting-logic specifications (extended version). [Technical Report] Faculty of Computer Science, University “Alexandru Ioan Cuza” of Iasi, Str. Berthelot 16, 6600-Iasi, Romania. 2015. ⟨hal-01712416⟩
83 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More