You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (16)

Journals (0)

1-10 of 16 results for deductive verification

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Simulation and Verification of Protocol Using Deductive Machine

Retricted access

Research article

First published 1995-11

Simulation and Verification of Protocol Using Deductive Machine

R. Lai, X. Li

SIMULATION

Select article: Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework

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

Select article: A Constructor-Based Reachability Logic for Rewrite Theories

Retricted access

Research article

First published 2020

A Constructor-Based Reachability Logic for Rewrite Theories

Stephen Skeirik, Andrei Stefanescu, José Meseguer

Fundamenta Informaticae

Select article: Application of approximate reasoning to hypothesis verification

Retricted access

Research article

First published 2010-9

Application of approximate reasoning to hypothesis verification

Vesa A. Niskanen

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Select article: Verification of the TESLA protocol in MCMAS-X

Retricted access

Research article

First published 2007-10

Verification of the TESLA protocol in MCMAS-X

Alessio Lomuscio, Franco Raimondi, Bożena Woźna

Fundamenta Informaticae

Select article: Knowledge-Base Evolution for Product and Production Planning

Retricted access

Research article

First published 1994-8

Knowledge-Base Evolution for Product and Production Planning

Knut Hinkelmann, Manfred Meyer, Franz Schmalhofer

The European Journal on Artificial Intelligence

Select article: The Need for Marketing Engineering

Retricted access

Research article

First published 1959-1

The Need for Marketing Engineering

Henry G. Burger

Journal of Marketing

Select article: A study on the collision force of reinforced concrete piers under cumulative ship collision

Open access

Review article

First published 2019-3

A study on the collision force of reinforced concrete piers under cumulative ship collision

Xiwu Zhou, Yushen Gao, Fei Huang [...]

Advances in Mechanical Engineering

Select article: Reverse deduction of vehicle group situation based on dynamic Bayesian network

Open access

Research article

First published 2018-3

Reverse deduction of vehicle group situation based on dynamic Bayesian network

Xiaoyuan Wang, Jianqiang Wang, Yaqi Liu [...]

Advances in Mechanical Engineering

Select article: Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic

Free access

Other

First published 2009-1-1

Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic

Jihong Han, Zhiyong Zhou, Yadi Wang

International Journal of Distributed Sensor Networks

1
2
10 / page

Article type

Publication date

Subjects

Access