Dec 18, 2020 · We design symbolic model checking algorithms, develop a tool and apply them to two famous examples: Alice-Bob Protocol and Dining Cryptographers ...

Ensuring the correctness of systems is a long-standing requirement in the engineering disci- plines. Engineers have been using various techniques to analyse ...

Sep 4, 2023 · This work proposes a symbolic method to verify and enforce the current-state opacity of labelled Petri nets (LPNs).

Jun 23, 2020 · A verification technique, that is a method to prove that the system satisfies the given properties or return a counter-example if it is not the ...

In this thesis, we concentrate on aspects related to modeling and formal verification of real- time embedded systems. First, we define a formal model of ...

This paper presents two symbolic model checking algorithms for the verification of analog/mixed-signal circuits. The first model checker utilizes binary ...

This paper addresses the state estimation of timed discrete event systems, where the occurrence of an event is associated with a time delay.

This paper presents a formal verification methodology of the Coloured Petri Net model of MVB-TCN device using symbolic model checking technique.

In this paper we will present the modeling of ad hoc networks and the verification of ARAN (Authenticated Routing for Ad Hoc Networks [6]) security protocol.

In this paper, we present a framework which allows users to perform verification on a Petri net based on SOG. We tested our framework with a dataset of ...