@incollection{Sekerinski09StateInvariants,
	title = {Design {Verification} with {State} {Invariants}},
	url = {https://www.cas.mcmaster.ca/~emil/pubs/Sekerinski09StateInvariants.pdf},
	abstract = {This chapter contains sections titled: Introduction Preliminaries Statechart Structure Configurations and Operations State Invariant Verification Accumulated Invariants Verification Condition Generation Priority Among Transitions Conclusions References},
	booktitle = {{UML} 2 {Semantics} and {Applications}},
	publisher = {John Wiley \& Sons},
	author = {Sekerinski, Emil},
	editor = {Lano, Kevin},
	month = oct,
	year = {2009},
	doi = {10.1002/9780470522622.ch13},
	note = {URL: https://onlinelibrary.wiley.com/doi/10.1002/9780470522622.ch13},
	keywords = {accumulated invariants and targeted verification condition generation, design verification with state invariants, self-transition and interlevel transition},
	pages = {317--347},
}

{"_id":"WyF4nNaBdyYcTGHCy","bibbaseid":"sekerinski-designverificationwithstateinvariants-2009","authorIDs":[],"author_short":["Sekerinski, E."],"bibdata":{"bibtype":"incollection","type":"incollection","title":"Design Verification with State Invariants","url":"https://www.cas.mcmaster.ca/~emil/pubs/Sekerinski09StateInvariants.pdf","abstract":"This chapter contains sections titled: Introduction Preliminaries Statechart Structure Configurations and Operations State Invariant Verification Accumulated Invariants Verification Condition Generation Priority Among Transitions Conclusions References","booktitle":"UML 2 Semantics and Applications","publisher":"John Wiley & Sons","author":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Lano"],"firstnames":["Kevin"],"suffixes":[]}],"month":"October","year":"2009","doi":"10.1002/9780470522622.ch13","note":"URL: https://onlinelibrary.wiley.com/doi/10.1002/9780470522622.ch13","keywords":"accumulated invariants and targeted verification condition generation, design verification with state invariants, self-transition and interlevel transition","pages":"317–347","bibtex":"@incollection{Sekerinski09StateInvariants,\n\ttitle = {Design {Verification} with {State} {Invariants}},\n\turl = {https://www.cas.mcmaster.ca/~emil/pubs/Sekerinski09StateInvariants.pdf},\n\tabstract = {This chapter contains sections titled: Introduction Preliminaries Statechart Structure Configurations and Operations State Invariant Verification Accumulated Invariants Verification Condition Generation Priority Among Transitions Conclusions References},\n\tbooktitle = {{UML} 2 {Semantics} and {Applications}},\n\tpublisher = {John Wiley \\& Sons},\n\tauthor = {Sekerinski, Emil},\n\teditor = {Lano, Kevin},\n\tmonth = oct,\n\tyear = {2009},\n\tdoi = {10.1002/9780470522622.ch13},\n\tnote = {URL: https://onlinelibrary.wiley.com/doi/10.1002/9780470522622.ch13},\n\tkeywords = {accumulated invariants and targeted verification condition generation, design verification with state invariants, self-transition and interlevel transition},\n\tpages = {317--347},\n}\n\n","author_short":["Sekerinski, E."],"editor_short":["Lano, K."],"key":"Sekerinski09StateInvariants","id":"Sekerinski09StateInvariants","bibbaseid":"sekerinski-designverificationwithstateinvariants-2009","role":"author","urls":{"Paper":"https://www.cas.mcmaster.ca/~emil/pubs/Sekerinski09StateInvariants.pdf"},"keyword":["accumulated invariants and targeted verification condition generation","design verification with state invariants","self-transition and interlevel transition"],"metadata":{"authorlinks":{}},"downloads":8},"bibtype":"incollection","biburl":"https://api.krunk.cn/emil/bib.php","creationDate":"2019-08-12T02:29:07.767Z","downloads":8,"keywords":["accumulated invariants and targeted verification condition generation","design verification with state invariants","self-transition and interlevel transition"],"search_terms":["design","verification","state","invariants","sekerinski"],"title":"Design Verification with State Invariants","year":2009,"dataSources":["fDYYrPxpzcyDvQK6b","HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","RfxodDQazHHccThPz","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"]}