Search results

Articles (4)

Journals (0)

1-4 of 4 results for Property Directed Reachability

Sort by:

Relevance

Select all

Sort by:

Relevance

Restricted accessResearch articleFirst published January 26, 2023

A scalable algorithm for network reachability analysis with cyclic attack graphs

Kengo Zenitani

Journal of Computer Security

Open accessResearch articleFirst published June, 2014

Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks

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

Journal on Satisfiability,Boolean Modelling and Computation

Restricted accessResearch articleFirst published 2022

A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking

Nicolas Amat, Bernard Berthomieu, Silvano Dal Zilio

Fundamenta Informaticae

Restricted accessResearch articleFirst published December, 2021

The maximum taxiing safe set of the wheel-skid aircraft under optimal control of rudder

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

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

Search results

Articles (4)

Journals (0)

1-4 of 4 results for Property Directed Reachability

Sort by:

Relevance

Select all

Sort by:

Relevance

Restricted accessResearch articleFirst published January 26, 2023

A scalable algorithm for network reachability analysis with cyclic attack graphs

Kengo Zenitani

Journal of Computer Security

Open accessResearch articleFirst published June, 2014

Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks

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

Journal on Satisfiability,Boolean Modelling and Computation

Restricted accessResearch articleFirst published 2022

A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking

Nicolas Amat, Bernard Berthomieu, Silvano Dal Zilio

Fundamenta Informaticae

Restricted accessResearch articleFirst published December, 2021

The maximum taxiing safe set of the wheel-skid aircraft under optimal control of rudder

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

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