All-Path Reachability Logic
Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon Moore, Traian Florin Serbanuta, Grigore Rosu
Published in Logical methods in computer science (01.01.2019)
Published in Logical methods in computer science (01.01.2019)
Get full text
Journal Article
Parsing K definitions
Mereuţă, Radu, Grigoraş, Gheorghe
Published in Electronic notes in theoretical computer science (10.06.2014)
Published in Electronic notes in theoretical computer science (10.06.2014)
Get full text
Journal Article
All-Path Reachability Logic
Stefanescu, Andrei, Ciobaca, Stefan, Mereuta, Radu, Moore, Brandon, Traian Florin Serbanuta, Rosu, Grigore
Published in arXiv.org (29.04.2019)
Published in arXiv.org (29.04.2019)
Get full text
Paper
Journal Article
Executing Formal Semantics with the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathbb K$\end{document} Tool
Lazar, David, Arusoaie, Andrei, Şerbǎnuţǎ, Traian Florin, Ellison, Chucky, Mereuta, Radu, Lucanu, Dorel, Roşu, Grigore
Published in FM 2012: Formal Methods
Published in FM 2012: Formal Methods
Get full text
Book Chapter