Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450324526

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards a test automation framework for alloy

Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 ◽

10.1145/2632362.2632369 ◽

2014 ◽

Cited By ~ 6

Author(s):

Allison Sullivan ◽

Razieh Nokhbeh Zaeem ◽

Sarfraz Khurshid ◽

Darko Marinov

Keyword(s):

Test Automation ◽

Test Automation Framework ◽

Automation Framework

Download Full-text

Incremental bounded software model checking

Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 ◽

10.1145/2632362.2632374 ◽

2014 ◽

Cited By ~ 9

Author(s):

Henning Günther ◽

Georg Weissenbacher

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Software Model

Download Full-text

Is there a best büchi automaton for explicit model checking?

Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 ◽

10.1145/2632362.2632377 ◽

2014 ◽

Cited By ~ 3

Author(s):

František Blahoudek ◽

Alexandre Duret-Lutz ◽

Mojmír Křetínský ◽

Jan Strejček

Keyword(s):

Model Checking ◽

Explicit Model ◽

Büchi Automaton

Download Full-text

TravMC2: higher-order model checking for alternating parity tree automata

Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 ◽

10.1145/2632362.2632381 ◽

2014 ◽

Cited By ~ 5

Author(s):

Robin P. Neatherway ◽

C.-H. Luke Ong

Keyword(s):

Model Checking ◽

Higher Order ◽

Tree Automata ◽

Order Model

Download Full-text

Local state space construction for compositional verification of concurrent systems

Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 ◽

10.1145/2632362.2632366 ◽

2014 ◽

Author(s):

Hao Zheng

Keyword(s):

State Space ◽

Concurrent Systems ◽

Local State ◽

Compositional Verification ◽

Space Construction

Download Full-text

Generic and efficient attacker models in SPIN

Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 ◽

10.1145/2632362.2632378 ◽

2014 ◽

Cited By ~ 6

Author(s):

Noomene Ben Henda

Download Full-text

Certification for configurable program analysis

Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 ◽

10.1145/2632362.2632372 ◽

2014 ◽

Cited By ~ 14

Author(s):

Marie-Christine Jakobs ◽

Heike Wehrheim

Keyword(s):

Program Analysis

Download Full-text

SpinCause: a tool for causality checking

Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 ◽

10.1145/2632362.2632371 ◽

2014 ◽

Cited By ~ 3

Author(s):

Florian Leitner-Fischer ◽

Stefan Leue

Download Full-text

Satisfiability modulo abstraction for separation logic with linked lists

Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 ◽

10.1145/2632362.2632376 ◽

2014 ◽

Cited By ~ 8

Author(s):

Aditya Thakur ◽

Jason Breck ◽

Thomas Reps

Keyword(s):

Separation Logic ◽

Linked Lists

Download Full-text

Exploiting synchronization in the analysis of shared-memory asynchronous programs

Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 ◽

10.1145/2632362.2632370 ◽

2014 ◽

Cited By ~ 4

Author(s):

Michael Emmi ◽

Burcu Kulahcioglu Ozkan ◽

Serdar Tasiran

Keyword(s):

Shared Memory

Download Full-text

Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Towards a test automation framework for alloy

Incremental bounded software model checking

Is there a best büchi automaton for explicit model checking?

TravMC2: higher-order model checking for alternating parity tree automata

Local state space construction for compositional verification of concurrent systems

Generic and efficient attacker models in SPIN

Certification for configurable program analysis

SpinCause: a tool for causality checking

Satisfiability modulo abstraction for separation logic with linked lists

Exploiting synchronization in the analysis of shared-memory asynchronous programs

Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014
Latest Publications