ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
SOG-Based Multi-Core LTL Model Checking
2020 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom)
◽
10.1109/ispa-bdcloud-socialcom-sustaincom51426.2020.00028
◽
2020
◽
Author(s):
Chiheb Ameur Abid
◽
Kais Klai
◽
Jaime Arias
◽
Hiba Ouni
Keyword(s):
Model Checking
◽
Ltl Model Checking
Download Full-text
Related Documents
Cited By
References
Flash memory efficient LTL model checking
Science of Computer Programming
◽
10.1016/j.scico.2010.03.005
◽
2011
◽
Vol 76
(2)
◽
pp. 136-157
◽
Cited By ~ 2
Author(s):
S. Edelkamp
◽
D. Sulewski
◽
J. Barnat
◽
L. Brim
◽
P. Šimeček
Keyword(s):
Model Checking
◽
Flash Memory
◽
Ltl Model Checking
◽
Memory Efficient
Download Full-text
Implementing LTL model checking with net unfoldings
Model Checking Software - Lecture Notes in Computer Science
◽
10.1007/3-540-45139-0_4
◽
2001
◽
pp. 37-56
◽
Cited By ~ 23
Author(s):
Javier Esparza
◽
Keijo Heljanko
Keyword(s):
Model Checking
◽
Ltl Model Checking
Download Full-text
A New Unfolding Approach to LTL Model Checking
Automata, Languages and Programming - Lecture Notes in Computer Science
◽
10.1007/3-540-45022-x_40
◽
2000
◽
pp. 475-486
◽
Cited By ~ 16
Author(s):
Javier Esparza
◽
Keijo Heljanko
Keyword(s):
Model Checking
◽
Ltl Model Checking
Download Full-text
Single-Pass Testing Automata for LTL Model Checking
Language and Automata Theory and Applications - Lecture Notes in Computer Science
◽
10.1007/978-3-319-15579-1_44
◽
2015
◽
pp. 563-576
Author(s):
Ala Eddine Ben Salem
Keyword(s):
Model Checking
◽
Single Pass
◽
Ltl Model Checking
Download Full-text
LTL Model Checking of LLVM Bitcode with Symbolic Data
Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science
◽
10.1007/978-3-319-14896-0_5
◽
2014
◽
pp. 47-59
◽
Cited By ~ 6
Author(s):
Petr Bauch
◽
Vojtěch Havel
◽
Jiří Barnat
Keyword(s):
Model Checking
◽
Symbolic Data
◽
Ltl Model Checking
Download Full-text
Saturation-Based Incremental LTL Model Checking with Inductive Proofs
Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
◽
10.1007/978-3-662-46681-0_58
◽
2015
◽
pp. 643-657
◽
Cited By ~ 3
Author(s):
Vince Molnár
◽
Dániel Darvas
◽
András Vörös
◽
Tamás Bartha
Keyword(s):
Model Checking
◽
Ltl Model Checking
Download Full-text
Another Look at LTL Model Checking
10.21236/ada277568
◽
1993
◽
Cited By ~ 7
Author(s):
E. Clarke
◽
O. Grumberg
◽
K. Hamaguchi
Keyword(s):
Model Checking
◽
Ltl Model Checking
Download Full-text
Distributed LTL model-checking in SPIN
Model Checking Software - Lecture Notes in Computer Science
◽
10.1007/3-540-45139-0_13
◽
2001
◽
pp. 200-216
◽
Cited By ~ 51
Author(s):
Jiri Barnat
◽
Lubos Brim
◽
Jitka Stříbrná
Keyword(s):
Model Checking
◽
Ltl Model Checking
Download Full-text
Multi-core SCC-Based LTL Model Checking
Hardware and Software: Verification and Testing - Lecture Notes in Computer Science
◽
10.1007/978-3-319-49052-6_2
◽
2016
◽
pp. 18-33
◽
Cited By ~ 10
Author(s):
Vincent Bloemen
◽
Jaco van de Pol
Keyword(s):
Model Checking
◽
Ltl Model Checking
Download Full-text
Memory-Efficient Tactics for Randomized LTL Model Checking
Lecture Notes in Computer Science - Verified Software. Theories, Tools, and Experiments
◽
10.1007/978-3-319-72308-2_10
◽
2017
◽
pp. 152-169
Author(s):
Kim Larsen
◽
Doron Peled
◽
Sean Sedwards
Keyword(s):
Model Checking
◽
Ltl Model Checking
◽
Memory Efficient
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close