… Abstractions are used in model checking to tackle problems like state space … why model checking is not widely used in practice yet and testing is still state … will improve the applicability of model checking in practice. …
SCAM 2009: 137-146 [doi]… In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools that facilitate model driven design of Web applications …
ICWE 2007: 533-538 [doi]… checking, verification, model refinement and repeated verification for three case … and demonstrates how the chosen methodology of model checking should be applied … trend in this area was model-based methods where a computer was doing a man’s …
Master's thesis, Rostov State University, Rostov-on-Don, Russia, June 2003.… using Model Checking techniques. …
ICWE 2005: 69-74 [doi]… , intended for formal verification of Lotos specifications by model-checking. This tool … with the state explosion problem arising in verification by model-checking. …
pstv 1990: 379-394… Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. However, there are very few tools able to do the same …
ENTCS, 152:69-81, 2006. [doi]… This paper presents novel techniques for checking the soundness of a type … operational semantics, and then check that the resulting intermediate program state … for a language, our system automatically checks type soundness by checking …
OOPSLA 2008: 493-504 [doi]