Stephen Skeirik | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Camilo Rocha
10 publications
José Meseguer
8 publications
Andrei Stefanescu
2 publications

research

∙ 05/25/2020

Verification of the IBOS Browser Security Properties in Reachability Logic

This paper presents a rewriting logic specification of the Illinois Brow...

0 Stephen Skeirik, et al. ∙

research

∙ 09/15/2017

A Constructor-Based Reachability Logic for Rewrite Theories

Reachability logic has been applied to K rewrite-rule-based language def...

0 Stephen Skeirik, et al. ∙