Formally Specified Monitoring of Temporal Properties

doi 10.1109/emrts.1999.777457
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

IEEE Comput. Soc

Related search

Verifying Temporal Heap Properties Specified via Evolution Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Monitoring Temporal SystemC Properties

2010English

An Object-Oriented Hypermedia Reference Model Formally Specified in UML

2003English

Formally-Based Black-Box Monitoring of Security Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Formally Specified Ontology Management API as a Registry for Ubiquitous Computing Systems

Artificial Intelligence Applications and Innovations
2006English

Proving Nondeterministically Specified Safety Properties Using Progress Measures

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1993English

Formally Verified Approximations of Definite Integrals

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2018English

Verification of Temporal Properties

1994English

Properties of Recycled Ceramic Aggregates Specified in WT-1 2014 Aggregates - Technical Requirements

E3S Web of Conferences
EarthEnergyPlanetary SciencesEnvironmental Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy