Using Slicing to Improve the Performance of Model Invariant Checking
Domains
Software Engineering [cs.SE]Origin | Files produced by the author(s) |
---|
Loading...
INRIA.HAL.SCIENCE Web Portal Publications, software... of Inria fellow Academics |
Origin | Files produced by the author(s) |
---|
Benoit Combemale : Connect in order to contact the contributor
https://inria.hal.science/hal-01179369
Submitted on : Wednesday, July 22, 2015-12:52:15 PM
Last modification on : Tuesday, August 27, 2024-12:46:01 PM
Long-term archiving on : Friday, October 23, 2015-10:51:33 AM