ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
◽
Cited By ~ 1
Author(s):
Bengt Lennartson
◽
Mona Noori-Hosseini
Keyword(s):
Temporal Logic
◽
Logic Verification
◽
Bisimulation Equivalence
Download Full-text
Related Documents
Cited By
References
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
◽
Cited By ~ 1
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
◽
Cited By ~ 7
Author(s):
Tichakorn Wongpiromsarn
◽
Ufuk Topcu
◽
Andrew Lamperski
Keyword(s):
Nonlinear Systems
◽
Temporal Logic
◽
Automata Theory
◽
Logic Verification
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
◽
Cited By ~ 23
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
◽
Cited By ~ 9
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
◽
Cited By ~ 4
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
◽
Cited By ~ 1
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
◽
Cited By ~ 2
Author(s):
Scott Bourne
◽
Claudia Szabo
◽
Quan Z. Sheng
Keyword(s):
Web Service
◽
Temporal Logic
◽
Logic Verification
Download Full-text
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
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close