directed model checking
Recently Published Documents

TOTAL DOCUMENTS

25
(FIVE YEARS 1)

H-INDEX

11
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Directed Model Checking for Fast Abstract Reachability Analysis

IEEE Access ◽  
2021 ◽  
pp. 1-1
Author(s):  
Nakwon Lee ◽  
Yunho Kim ◽  
Moonzoo Kim ◽  
Duksan Ryu ◽  
Jongmoon Baik
Keyword(s):  
Model Checking ◽  
Reachability Analysis ◽  
Directed Model Checking

A bug reproduction approach based on directed model checking and crash traces

2016 ◽  
Vol 29 (3) ◽  
pp. e1789 ◽  
Author(s):  
Mathieu Nayrolles ◽  
Abdelwahab Hamou-Lhadj ◽  
Sofiène Tahar ◽  
Alf Larsson
Keyword(s):  
Model Checking ◽  
Directed Model Checking

Abstract reduction in directed model checking CCS processes

2012 ◽  
Vol 49 (5) ◽  
pp. 313-341 ◽  
Author(s):  
Antonella Santone ◽  
Gigliola Vaglini
Keyword(s):  
Model Checking ◽  
Directed Model Checking

scholarly journals Survey on Directed Model Checking

2009 ◽  
pp. 65-89 ◽  
Author(s):  
Stefan Edelkamp ◽  
Viktor Schuppan ◽  
Dragan Bošnački ◽  
Anton Wijs ◽  
Ansgar Fehnker ◽  
...  
Keyword(s):  
Model Checking ◽  
Directed Model Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document