Modular development and verification of domain requirements via model checking

Tanmay Bhowmik; Nan Niu; Edward B. Allen

doi:10.1145/1900008.1900087

Modular development and verification of domain requirements via model checking

Tanmay Bhowmik
, Nan Niu
, Edward B. Allen

Mississippi State University

Research output: Chapter or Contribution to Book › Literary contribution

Original language	English
Title of host publication	Proceedings of the 48th Annual Southeast Regional Conference, ACM SE'10
DOIs	https://doi.org/10.1145/1900008.1900087
State	Published - 2010
Externally published	Yes
Event	48th Annual Southeast Regional Conference, ACM SE'10 - Oxford, MS, United States Duration: Apr 15 2010 → Apr 17 2010

Publication series

Name	Proceedings of the Annual Southeast Conference

Conference

Conference	48th Annual Southeast Regional Conference, ACM SE'10
Country/Territory	United States
City	Oxford, MS
Period	4/15/10 → 4/17/10

ASJC Scopus Subject Areas

General Computer Science

Keywords

Domain requirements
Model checking
Product lines
Verification

Access to Document

10.1145/1900008.1900087

Cite this

Bhowmik, T, Niu, N & Allen, EB 2010, Modular development and verification of domain requirements via model checking. in Proceedings of the 48th Annual Southeast Regional Conference, ACM SE'10., 58, Proceedings of the Annual Southeast Conference, 48th Annual Southeast Regional Conference, ACM SE'10, Oxford, MS, United States, 4/15/10. https://doi.org/10.1145/1900008.1900087

@inproceedings{57316583179d43efb2281c2f09e4924d,

title = "Modular development and verification of domain requirements via model checking",

keywords = "Domain requirements, Model checking, Product lines, Verification",

author = "Tanmay Bhowmik and Nan Niu and Allen, \{Edward B.\}",

year = "2010",

doi = "10.1145/1900008.1900087",

language = "English",

isbn = "9781450300643",

series = "Proceedings of the Annual Southeast Conference",

booktitle = "Proceedings of the 48th Annual Southeast Regional Conference, ACM SE'10",

note = "48th Annual Southeast Regional Conference, ACM SE'10 ; Conference date: 15-04-2010 Through 17-04-2010",

}

TY - GEN

T1 - Modular development and verification of domain requirements via model checking

AU - Bhowmik, Tanmay

AU - Niu, Nan

AU - Allen, Edward B.

PY - 2010

Y1 - 2010

KW - Domain requirements

KW - Model checking

KW - Product lines

KW - Verification

UR - https://www.scopus.com/pages/publications/79951836836

UR - https://www.scopus.com/pages/publications/79951836836#tab=citedBy

U2 - 10.1145/1900008.1900087

DO - 10.1145/1900008.1900087

M3 - Literary contribution

AN - SCOPUS:79951836836

SN - 9781450300643

T3 - Proceedings of the Annual Southeast Conference

BT - Proceedings of the 48th Annual Southeast Regional Conference, ACM SE'10

T2 - 48th Annual Southeast Regional Conference, ACM SE'10

Y2 - 15 April 2010 through 17 April 2010

ER -

Modular development and verification of domain requirements via model checking

Publication series

Conference

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Cite this