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 2005-2

Formal methods: Importance,experience,and comparative analysis

Hazem El-Gendy, Nabil El-Kadhi

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2025-9

Can Someone Prove Your Operator Won’t Get Distracted? A Gentle Introduction to Formal Methods in Human Factors

Stephen B. Gilbert, Parth Ganeriwala, James I. Lathrop [...]

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Other

First published 2005-03

Formal Theory and Case-Study Methods in EU Studies

Robert Pahre

European Union Politics

Retricted access

Research article

First published 1993-2

Introduction to Formal Methods for Software Engineering

Trevor King

Measurement and Control

Retricted access

Research article

First published 2015-12

Using formal methods to scope performance challenges for Smart Manufacturing Systems: Focus on agility

Kiwook Jung, KC Morris, Kevin W Lyons [...]

Concurrent Engineering

Retricted access

Research article

First published 2010-3

Integrating formal methods with domain analysis

Laura Felice, María Carmen Leonardi, María Virginia Mauco [...]

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 1992-12

Use of formal Methods in Medical Decision Making

Ulf Böckenholt, Elke U. Weber

Medical Decision Making

Retricted access

Research article

First published 1994-08

Analyzing Historical Contingency with Formal Methods

LARRY W. ISAAC, DEBRA A. STREET, STAN J. KNAPP

Sociological Methods & Research

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

Search results