Search results

Articles (4)

Journals (0)

1-4 of 4 results for Property Directed Reachability

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2023-1-26

A scalable algorithm for network reachability analysis with cyclic attack graphs

Kengo Zenitani

Journal of Computer Security

Open access

Research article

First published 2014-6

Gianpiero Cabodi, Carmelo Loiacono, Marco Palena [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2022

Nicolas Amat, Bernard Berthomieu, Silvano Dal Zilio

Fundamenta Informaticae

Retricted access

Research article

First published 2021-12

Taotao Liang, Qiaozhi Yin, Wuguan Fang [...]

Proceedings of the Institution of Mechanical Engineers,Part G: Journal of Aerospace Engineering