Sage Journals: Discover world-class research

Retricted access

Research article

First published 2023-4

Using formal methods for autonomous systems: Five recipes for formal verification

Matt Luckcuck

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2020-02-06

Formal verification of a task scheduler for embedded operating systems

Haiyong Sun, Hang Lei

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

Open access

Research article

First published 2009-2

QBF-Based Formal Verification: Experience and Perspectives

Marco Benedetti, Hratch Mangassarian

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Other

First published 2006-2

Efficient decision procedures for the integration of planning and formal verification in advanced systems

Marco Maratea

The European Journal on Artificial Intelligence

Open access

Research article

First published 2018-6

Cloud manufacturing service composition and formal verification based on extended process calculus

Yongxiang Li, Xifan Yao

Advances in Mechanical Engineering

Retricted access

Research article

First published 2020-12

A DEVS-based pivotal modeling formalism and its verification and validation framework

Kehinde G Samuel, Nourou-Dine M Bouare, Oumar Maïga [...]

SIMULATION

Retricted access

Research article

First published 2016-2

Formal specification and verification of a distributed fault localization,isolation and supply restoration algorithm

Wanshui Ling, Jiaquan Yang, Jingxi Zou

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2016

Temporal and Spatial Coherence Verification in SMIL Documents with Hoare Logic and Disjunctive Constraints: A Hybrid Formal Method

Fatma Zohra Mekahlia, Abdelghani Ghomari, Samy Yazid [...]

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 2002-3

Formal Verification of Human-Automation Interaction

Asaf Degani, Michael Heymann

Human Factors: The Journal of the Human Factors and Ergonomics Society

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

Search results