Efficient Temporal Logic Verification by Incremental Abstraction

2020 IEEE 16th International Conference on Automation Science and Engineering (CASE) ◽

10.1109/case48305.2020.9216950 ◽

2020 ◽

Author(s):

Bengt Lennartson ◽

Xudong Liang ◽

Mona Noori-Hosseini

Keyword(s):

Temporal Logic ◽

Logic Verification

Download Full-text

Applying temporal logic verification and synthesis to manufacturing systems

1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century ◽

10.1109/icsmc.1995.538435 ◽

2002 ◽

Author(s):

M. Antoniotti ◽

M. Jafari ◽

B. Mishra

Keyword(s):

Temporal Logic ◽

Manufacturing Systems ◽

Logic Verification

Download Full-text

Temporal Logic Verification for Delay Differential Equations

Theoretical Aspects of Computing – ICTAC 2016 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-46750-4_23 ◽

2016 ◽

pp. 405-421 ◽

Author(s):

Peter Nazier Mosaad ◽

Martin Fränzle ◽

Bai Xue

Keyword(s):

Differential Equations ◽

Temporal Logic ◽

Delay Differential Equations ◽

Logic Verification ◽

Delay Differential

Download Full-text

Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems

IEEE Transactions on Automatic Control ◽

10.1109/tac.2015.2511722 ◽

2016 ◽

Vol 61 (11) ◽

pp. 3344-3355 ◽

Author(s):

Tichakorn Wongpiromsarn ◽

Ufuk Topcu ◽

Andrew Lamperski

Keyword(s):

Nonlinear Systems ◽

Temporal Logic ◽

Automata Theory ◽

Logic Verification

Download Full-text

Visible Bisimulation Equivalence — A Unified Abstraction for Temporal Logic Verification

IFAC-PapersOnLine ◽

10.1016/j.ifacol.2018.06.332 ◽

2018 ◽

Vol 51 (7) ◽

pp. 400-407 ◽

Author(s):

Bengt Lennartson ◽

Mona Noori-Hosseini

Keyword(s):

Temporal Logic ◽

Logic Verification ◽

Bisimulation Equivalence

Download Full-text

Temporal Logic Verification Using Simulation

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/11867340_13 ◽

2006 ◽

pp. 171-186 ◽

Author(s):

Georgios E. Fainekos ◽

Antoine Girard ◽

George J. Pappas

Keyword(s):

Temporal Logic ◽

Logic Verification

Download Full-text

Temporal Logic Verification of Lock-Freedom

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-642-13321-3_21 ◽

2010 ◽

pp. 377-396 ◽

Author(s):

Bogdan Tofan ◽

Simon Bäumler ◽

Gerhard Schellhorn ◽

Wolfgang Reif

Keyword(s):

Temporal Logic ◽

Logic Verification

Download Full-text

Temporal Logic Verification of Stochastic Systems Using Barrier Certificates

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-030-01090-4_11 ◽

2018 ◽

pp. 177-193 ◽

Author(s):

Pushpak Jagtap ◽

Sadegh Soudjani ◽

Majid Zamani

Keyword(s):

Temporal Logic ◽

Stochastic Systems ◽

Logic Verification

Download Full-text

Towards automatic temporal logic verification of value passing process algebra using abstract interpretation

CONCUR '96: Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-61604-7_76 ◽

1996 ◽

pp. 563-578 ◽

Author(s):

Alessandro Fantechi ◽

Stefania Gnesi ◽

Diego Latella

Keyword(s):

Temporal Logic ◽

Process Algebra ◽

Abstract Interpretation ◽

Logic Verification

Download Full-text

TL-VIEWS: A Tool for Temporal Logic Verification of Transactional Behavior of Web Service Compositions

Service-Oriented Computing - ICSOC 2014 Workshops - Lecture Notes in Computer Science ◽

10.1007/978-3-319-22885-3_39 ◽

2015 ◽

pp. 418-422 ◽

Author(s):

Scott Bourne ◽

Claudia Szabo ◽

Quan Z. Sheng

Keyword(s):

Web Service ◽

Temporal Logic ◽

Logic Verification

Download Full-text

Identify equivalent signal lines for logic verification of combinational circuits

Information Technology and Industrial Engineering ◽

10.2495/itie130401 ◽

2013 ◽

Author(s):

Zhongliang Pan ◽

Ling Chen

Keyword(s):

Combinational Circuits ◽

Logic Verification

Download Full-text