ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Interval diagram techniques for symbolic model checking of Petri nets
Proceedings of the conference on Design, automation and test in Europe - DATE '99
◽
10.1145/307418.307452
◽
1999
◽
Cited By ~ 6
Author(s):
Karsten Strehl
◽
Lothar Thiele
Keyword(s):
Model Checking
◽
Petri Nets
◽
Symbolic Model Checking
◽
Symbolic Model
◽
Diagram Techniques
Download Full-text
Related Documents
Cited By
References
Interval diagram techniques for symbolic model checking of Petri nets
Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078)
◽
10.1109/date.1999.761216
◽
2003
◽
Cited By ~ 4
Author(s):
K. Strehl
◽
L. Thiele
Keyword(s):
Model Checking
◽
Petri Nets
◽
Symbolic Model Checking
◽
Symbolic Model
◽
Diagram Techniques
Download Full-text
Symbolic model checking of dual transition Petri Nets
Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627)
◽
10.1109/codes.2002.1003599
◽
2003
◽
Author(s):
M. Varea
◽
B.M. Al-Hashimi
◽
L.A. Cortes
◽
P. Eles
◽
Zebo Peng
Keyword(s):
Model Checking
◽
Petri Nets
◽
Symbolic Model Checking
◽
Symbolic Model
Download Full-text
Symbolic model checking of Dual Transition Petri Nets
Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627)
◽
10.1145/774789.774799
◽
2002
◽
Cited By ~ 3
Author(s):
Mauricio Varea
◽
Bashir M. Al-Hashimi
◽
Luis A. Cortés
◽
Petru Eles
◽
Zebo Peng
Keyword(s):
Model Checking
◽
Petri Nets
◽
Symbolic Model Checking
◽
Symbolic Model
Download Full-text
BDDs vs. Zero-Suppressed BDDs: for CTL symbolic model checking of Petri nets
Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science
◽
10.1007/bfb0031826
◽
1996
◽
pp. 435-449
◽
Cited By ~ 15
Author(s):
Tomohiro Yoneda
◽
Hideyuki Hatori
◽
Atsushi Takahara
◽
Shin-ichi Minato
Keyword(s):
Model Checking
◽
Petri Nets
◽
Symbolic Model Checking
◽
Symbolic Model
Download Full-text
Comparison of encoding schemes for symbolic model checking of bounded petri nets
10.31274/etd-180810-2060
◽
2010
◽
Author(s):
Nishtha Arora
Keyword(s):
Model Checking
◽
Petri Nets
◽
Symbolic Model Checking
◽
Symbolic Model
Download Full-text
Symbolic model checking of process networks using interval diagram techniques
1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287)
◽
10.1109/iccad.1998.743097
◽
2002
◽
Author(s):
K. Strehl
◽
L. Thiele
Keyword(s):
Model Checking
◽
Symbolic Model Checking
◽
Symbolic Model
◽
Process Networks
◽
Diagram Techniques
Download Full-text
Symbolic model checking of process networks using interval diagram techniques
1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287)
◽
10.1145/288548.289117
◽
1998
◽
Cited By ~ 12
Author(s):
Karsten Strehl
◽
Lothar Thiele
Keyword(s):
Model Checking
◽
Symbolic Model Checking
◽
Symbolic Model
◽
Process Networks
◽
Diagram Techniques
Download Full-text
Symbolic Model Checking Knowledge and Time in Multi-Agent System Via Extended Mu-Calculus
Chinese Journal of Computers
◽
10.3724/sp.j.1016.2008.00245
◽
2009
◽
Vol 31
(2)
◽
pp. 245-252
◽
Cited By ~ 1
Author(s):
Li-Jun WU
◽
Jin-Shu SU
◽
Kai-Le SU
Keyword(s):
Model Checking
◽
Symbolic Model Checking
◽
Multi Agent System
◽
Agent System
◽
Symbolic Model
◽
Multi Agent
Download Full-text
Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification
10.21236/ada346065
◽
1998
◽
Cited By ~ 4
Author(s):
Sergey Berezin
◽
Armin Biere
◽
Edmund Clarke
◽
Yunshan Zhu
Keyword(s):
Model Checking
◽
Symbolic Model Checking
◽
Symbolic Model
◽
Processor Verification
Download Full-text
Bug identification of a real chip design by symbolic model checking
Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC
◽
10.1109/edtc.1994.326886
◽
2002
◽
Cited By ~ 22
Author(s):
B. Chen
◽
M. Yamazaki
◽
M. Fujita
Keyword(s):
Model Checking
◽
Symbolic Model Checking
◽
Chip Design
◽
Symbolic Model
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close