Talks of year 2012
Conference and other Presentations
-
Explicit State Model Checking Based on CEGAR and Interpolation.
Conference talk
at ISoLA 2012,
15.
October
2012.
Keyword(s):
Software Model Checking,
CPAchecker
Presentation
BibTeX Entry
@conferencetalk{ISOLA12ExplicitStateMC, author = {Stefan Löwe}, title = {Explicit State Model Checking Based on CEGAR and Interpolation}, year = {2012}, presentation = {https://www.sosy-lab.org/research/prs/2012-10-15_ISOLA12-LDV_Explicit_State_Model_Checking_Based_on_CEGAR_and_Interpolation_Stefan.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {15}, field = {Computer Science}, month = {October}, venue = {ISoLA 2012}, } -
Conditional Model Checking.
Conference talk
at FSE12,
15.
November
2012.
Keyword(s):
Software Model Checking,
CPAchecker
Presentation
BibTeX Entry
@conferencetalk{FSE12CMC, author = {Philipp Wendler}, title = {Conditional Model Checking}, year = {2012}, presentation = {https://www.sosy-lab.org/research/prs/2012-11-15_FSE12_Conditional_Model_Checking_Philipp.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {15}, field = {Computer Science}, month = {November}, venue = {FSE12}, }
Disclaimer:
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.