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 (449)

Journals (0)

1-10 of 449 results for property verification

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Modality switching cost during property verification by 7 years of age

Retricted access

Research article

First published 2011-1

Modality switching cost during property verification by 7 years of age

Solène Ambrosi, Solène Kalenine, Agnès Blaye [...]

International Journal of Behavioral Development

Select article: A method for unbounded verification of privacy-type properties

Retricted access

Research article

First published 2019-6-10

A method for unbounded verification of privacy-type properties

Lucca Hirschi, David Baelde, Stéphanie Delaune

Journal of Computer Security

Select article: Verification of visibility-based properties on multiple moving robots in an environment with obstacles

Open access

Research article

First published 2018-7

Verification of visibility-based properties on multiple moving robots in an environment with obstacles

Ali Narenji Sheshkalani, Ramtin Khosravi

International Journal of Advanced Robotic Systems

Select article: The experiment research and engineering verification on the synergistic lubrication properties of silver and multiwalled carbon nanotubes

Open access

Research article

First published 2019-9

The experiment research and engineering verification on the synergistic lubrication properties of silver and multiwalled carbon nanotubes

Kang Yang, Hongru Ma, Ming Ma [...]

Advances in Mechanical Engineering

Select article: Verification of quantitative temporal properties in RealTime-DEVS

Retricted access

Research article

First published 2025-10

Verification of quantitative temporal properties in RealTime-DEVS

Ariel González, Maximiliano Cristiá, Carlos Luna

SIMULATION

Select article: On the semantics of communications when verifying equivalence properties

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

Select article: Modeling and Verification of Reactive Systems using Rebeca

Retricted access

Research article

First published 2004-12

Modeling and Verification of Reactive Systems using Rebeca

Marjan Sirjani, Ali Movaghar, Amin Shali [...]

Fundamenta Informaticae

Select article: Monitoring with Parametrized Extended Life Sequence Charts

Retricted access

Research article

First published 2017

Monitoring with Parametrized Extended Life Sequence Charts

Ming Chai, Bernd-Holger Schlingloff

Fundamenta Informaticae

Select article: Verification of Non-functional Properties of a Composable Architecture with Petrinets

Retricted access

Research article

First published 2002-6

Verification of Non-functional Properties of a Composable Architecture with Petrinets

Jan Richling, Louchka Popova-Zeugmann, Matthias Werner

Fundamenta Informaticae

Select article: Formal verification of security properties in trust management policy

Retricted access

Research article

First published 2014-1-24

Formal verification of security properties in trust management policy

Jianwei Niu, Mark Reith, William H. Winsborough

Journal of Computer Security

1
2
3
•••
45
10 / page

Article type

Publication date

Subjects

Access