wikidata.org
SPIN Workshop
container_tgk44k34yneunpkdxa74z6yhqi
Example Publications
Is there a best büchi automaton for explicit model checking?
František Blahoudek, Alexandre Duret-Lutz, Mojmír Křetínský, Jan Strejček
2014
|
SPIN Workshop
doi:10.1145/2632362.2632377 dblp:conf/spin/BlahoudekDKS14
Satisfiability modulo abstraction for separation logic with linked lists
Aditya Thakur, Jason Breck, Thomas Reps
2014
|
SPIN Workshop
doi:10.1145/2632362.2632376 dblp:conf/spin/ThakurBR14
Generic and efficient attacker models in SPIN
Noomene Ben Henda
2014
|
SPIN Workshop
doi:10.1145/2632362.2632378 dblp:conf/spin/Henda14
Unit testing for SPIN: runspin and parsepan
Theo C. Ruys
2014
|
SPIN Workshop
doi:10.1145/2632362.2632382 dblp:conf/spin/Ruys14
Addressing challenges in obtaining high coverage when model checking Android applications
Heila Botha, Oksana Tkachuk, Brink van der Merwe, Willem Visser
2017
|
SPIN Workshop
doi:10.1145/3092282.3092302 dblp:conf/spin/BothaTMV17