Search results

Articles (4)

Journals (0)

1-4 of 4 results for symbolic reachability analysis

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2024-09-20

A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets

Jaime Arias, Kyungmin Bae, Carlos Olarte [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2005-8-24

Jonathan Millen, Vitaly Shmatikov

Journal of Computer Security

Retricted access

Research article

First published 2021

Didier Lime, Olivier H. Roux, Charlotte Seidner

Fundamenta Informaticae

Retricted access

Research article

First published 2017-8-24

Max Kanovich, Tajana Ban Kirigin, Vivek Nigam [...]

Journal of Computer Security