Sage Journals: Discover world-class research

Retricted access

Research article

First published 2023-10-13

Symbolic protocol verification with dice 1

Vincent Cheval, Raphaëlle Crubillé, Steve Kremer

Journal of Computer Security

Retricted access

Research article

First published 2020

Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework

María Alpuente, Daniel Pardo, Alicia Villanueva

Fundamenta Informaticae

Retricted access

Research article

First published 2010-5

Interactive verification of concurrent systems using symbolic execution

Simon Bäumler, Michael Balser, Florian Nafz [...]

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2020

Verification Techniques for a Network Algebra

Linda Brodo, Carlos Olarte

Fundamenta Informaticae

Retricted access

Research article

First published 1963-09

The Commitment of National Legitimacy Symbols as a Verification Technique

Karl W. Deutsch

Journal of Conflict Resolution

Retricted access

Research article

First published 2017-9

Tools for Symbol Development – Safety Symbol Response Taxonomy and Graphic Compatibility Verification

Judith J. Isaacson, Jared Frantz, Steven M. Hall [...]

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Research article

First published 2017-8-24

An interpolation-based method for the verification of security protocols

Marco Rocchetto, Luca Viganò, Marco Volpe

Journal of Computer Security

Retricted access

Research article

First published 2020-2-4

On the semantics of communications when verifying equivalence properties

Kushal Babel, Vincent Cheval, Steve Kremer

Journal of Computer Security

Retricted access

Research article

First published 2017

SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication

Warda El Kholy, Jamal Bentahar, Mohamed El Menshawy [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2009-6

A New Approach to Model Checking of UML State Machines

Artur Niewiadomski, Wojciech Penczek, Maciej Szreter

Fundamenta Informaticae

Search results