Automatic debugging of real-time systems based on incremental satisfiability counting

10.1109/TC.2006.97

Saved in:

Bibliographic Details
Main Authors:	Andrei, Ş., Chin, W.N., Cheng, A.M.K., Lupu, M.
Other Authors:	COMPUTER SCIENCE
Format:	Article
Published:	2013
Subjects:	Automatic debugging Counting SAT problem Formal methods Incremental computation Real-time system System development tools Timing constraint
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/39590
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-39590
record_format	dspace
spelling	sg-nus-scholar.10635-395902023-10-26T07:12:30Z Automatic debugging of real-time systems based on incremental satisfiability counting Andrei, Ş. Chin, W.N. Cheng, A.M.K. Lupu, M. COMPUTER SCIENCE Automatic debugging Counting SAT problem Formal methods Incremental computation Real-time system System development tools Timing constraint 10.1109/TC.2006.97 IEEE Transactions on Computers 55 7 830-842 ITCOB 2013-07-04T07:45:03Z 2013-07-04T07:45:03Z 2006 Article Andrei, Ş., Chin, W.N., Cheng, A.M.K., Lupu, M. (2006). Automatic debugging of real-time systems based on incremental satisfiability counting. IEEE Transactions on Computers 55 (7) : 830-842. ScholarBank@NUS Repository. https://doi.org/10.1109/TC.2006.97 00189340 http://scholarbank.nus.edu.sg/handle/10635/39590 000237631000004 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Automatic debugging Counting SAT problem Formal methods Incremental computation Real-time system System development tools Timing constraint
spellingShingle	Automatic debugging Counting SAT problem Formal methods Incremental computation Real-time system System development tools Timing constraint Andrei, Ş. Chin, W.N. Cheng, A.M.K. Lupu, M. Automatic debugging of real-time systems based on incremental satisfiability counting
description	10.1109/TC.2006.97
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Andrei, Ş. Chin, W.N. Cheng, A.M.K. Lupu, M.
format	Article
author	Andrei, Ş. Chin, W.N. Cheng, A.M.K. Lupu, M.
author_sort	Andrei, Ş.
title	Automatic debugging of real-time systems based on incremental satisfiability counting
title_short	Automatic debugging of real-time systems based on incremental satisfiability counting
title_full	Automatic debugging of real-time systems based on incremental satisfiability counting
title_fullStr	Automatic debugging of real-time systems based on incremental satisfiability counting
title_full_unstemmed	Automatic debugging of real-time systems based on incremental satisfiability counting
title_sort	automatic debugging of real-time systems based on incremental satisfiability counting
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/39590
_version_	1781411034434633728

Automatic debugging of real-time systems based on incremental satisfiability counting

Similar Items