Responsibility and verification: importance value in temporal logics

Responsibility and verification: importance value in temporal logics

Bibliographic Details
Main Authors:	Mascle, C, Baier, C, Funke, F, Jantsch, S, Kiefer, S
Format:	Conference item
Language:	English
Published:	IEEE 2021

Similar Items

On nonnegative integer matrices and short killing words
by: Kiefer, S, et al.
Published: (2021)

On finite monoids over nonnegative integer matrices and short killing words
by: Kiefer, S, et al.
Published: (2019)

Analysis on the model checking agent for SMS Management System verification using temporal logic
by: Abdul Bujang, Siti Diana, et al.
Published: (2009)

Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications
by: Scher, Guy, et al.
Published: (2022)

Modeling and verification of contingency resolution strategies for multi-robot missions using temporal logic
by: Shaurya Shriyam, et al.
Published: (2019-11-01)

Advances in verification of time petri nets and timed automata : a temporal logic approach /
by: 428455 Penczek, Wojciech, et al.
Published: (2006)

Logic synthesis and verification algorithms /
by: 427444 Hachtel, Gary D., et al.
Published: (2006)

Computer logic, testing and verification /
by: 255854 Roth, John Paul
Published: (1980)

Verification of two-variable logic revisited
by: Benedikt, M, et al.
Published: (2012)

Higher Order Logic and Hardware Verification
by: Melham, T
Published: (1993)

Data Verification in the Agent, Combining Blockchain and Quantum Keys by Means of Multiple-Valued Logic
by: Alexey Yu. Bykovsky, et al.
Published: (2023-04-01)

Hardware Verification using Higher−Order Logic
by: Camilleri, A, et al.
Published: (1987)

Hardware Verification using Higher−Order Logic
by: Camilleri, A, et al.
Published: (1986)

Temporal Logic for Programmable Logic Controllers
by: Natalia Olegovna Garanina, et al.
Published: (2020-12-01)

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
by: Baier, C, et al.
Published: (2022)

The 'Most Important and Fundamental' Distinction in Logic
by: G.C. Goddu
Published: (2001-01-01)

Combination of temporal logic with modal logic KD
by: Regimantas Pliuškevičius
Published: (2003-12-01)

Logical foundations and implementation of an extension of temporal logic
by: María Laura Cobo, et al.
Published: (2000-03-01)

Indeterministic Temporal Logic
by: Trzęsicki Kazimierz
Published: (2015-09-01)

Temporal Justification Logic
by: Samuel Bucheli, et al.
Published: (2017-03-01)

Using Propositional Logic for Requirements Verification of Service Workflow
by: Xu, L, et al.
Published: (2012)

Efficient Verification of Cryptographic Protocols with Dynamic Epistemic Logic
by: Xiaojuan Chen, et al.
Published: (2020-09-01)

Parallel logical control algorithms: verification and hardware implementation
by: A.Zakrevskij
Published: (1996-07-01)

Systematic Verification of the Modal Logic Cube in Isabelle/HOL
by: Christoph Benzmüller, et al.
Published: (2015-07-01)

Verification of Imperative Programs by Constraint Logic Program Transformation
by: Emanuele De Angelis, et al.
Published: (2013-09-01)

VERIFICATION OF INTEGRATED CIRCUIT BEHAVIORAL MODELS BY PROGRAMMABLE LOGIC
by: N. M. Chernetskaya, et al.
Published: (2018-05-01)

Temporal logics and their applications /
by: Galton, Anthony
Published: (1987)

Using Propositional Logic for Requirements Verification of Service Workflow
by: Xu, L, et al.
Published: (2012)

Importance of Logic in Law
by: Karla Fernández Procel
Published: (2019-01-01)

The Orbit Problem for parametric linear dynamical systems
by: Baier, C, et al.
Published: (2021)

Temporal verification of reactive systems : safety /
by: 179321 Manna, Zohar, et al.
Published: (1995)

The importance of modelling epileptic seizure dynamics as spatio-temporal patterns
by: Gerold eBaier, et al.
Published: (2012-07-01)

On Process−algebraic Extensions of Metric Temporal Logic
by: Haase, C, et al.
Published: (2010)

A Parallel Linear Temporal Logic Tableau
by: John C. McCabe-Dansted, et al.
Published: (2017-09-01)

Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic
by: Jihong Han, et al.
Published: (2009-01-01)

ProoFVer: Natural Logic Theorem Proving for Fact Verification
by: Amrith Krishna, et al.
Published: (2022-01-01)

Formal verification of a proof procedure for the description logic ALC
by: Martin Strecker, et al.
Published: (2013-07-01)

Machine logic sequence verification with dynamic mechanical machine elements /
by: Asral Falah Ahmad Asnawi, 1984-, et al.
Published: (2013)

Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
by: Melham, T
Published: (1989)

Formal verification and dynamic validation of logic-based control systems
by: Park, Taeshin, 1966-
Published: (2010)