Journals
Publish with us
Publishing partnerships
About us
Blog
Advances in Software Engineering
Table of Contents
Special Issues
Advances in Software Engineering
/
2012
/
Article
/
Alg 6
/
Research Article
Improving Model Checking with Context Modelling
Listing 6
A CDL invariant.
p
redicate Inv1
is
{
ā
({SM}1:
operateAccepted
1 =
false
) or ({
SM
}
1:devLogged1 = true
)
ā
}