SPIN2018

[SPIN2018 @SPIN_2018]

#spin_2018 And the best paper award goes to..."Star-Topology Decoupling in Spin". Congratulations to the authors!

[SPIN2018 @SPIN_2018]

#spin_2018 Irina Mariuca Asavoae presenting "Context-Updates Analysis and Refinement in Chisel"

[SPIN2018 @SPIN_2018]

#spin_2018 Antti Valmari presenting "Modelling without a modelling language"

[SPIN2018 @SPIN_2018]

#spin_2018 Youngmin Kwon presenting "Quantitative model checking for a controller design"

[SPIN2018 @SPIN_2018]

#spin_2018 Lei Bu presenting "Genetic Synthesis of Concurrent Code using model checking and statistically model checking" https://t.co/gYLuMvgt5a

[SPIN2018 @SPIN_2018]

#spin_2018 H. Singh presenting "From SysML to Model Checkers via Model Transformation"

[SPIN2018 @SPIN_2018]

#spin_2018 Tamas Tóth presenting "Lazy reachability checking for timed automata with discrete variables"

[SPIN2018 @SPIN_2018]

#spin_2018 Mark Reynolds presents "A comparative study of decision diagrams for real-time model checking"

[SPIN2018 @SPIN_2018]

#spin_2018 Yesterday Laura Panizo and Bruno Gracia did a demo of the TRIANGLE testbed extended with model-based testing

[SPIN2018 @SPIN_2018]

#spin_2018 T. Abe is presenting "Local Data Race Freedom with Non-multi-Copy Atomicity"

[SPIN2018 @SPIN_2018]

#spin_2018 The last invited talk "Program Verification with separation logic" by Radu Iosif

[SPIN2018 @SPIN_2018]

#spin_2018 "Control strategies for off-line testing of timed systems" presented by Léo Henry

[SPIN2018 @SPIN_2018]

#spin_2018 "A Branching Time Variant of CaRet" presented by Jens Oliver Gutsfeld

[SPIN2018 @SPIN_2018]

#spin_2018 A. Pommellet presents "Model Checking HyperLTL for Pushdown Systems"

[SPIN2018 @SPIN_2018]

#spin2018 M. Vitovská presents "Join forces for memory safety checking"

[SPIN2018 @SPIN_2018]

#Spin_2018 the 2nd invited talk of the day. Rémi Delmas presents "Applying formal methods to flight control software"

[SPIN2018 @SPIN_2018]

#spin_2018 D. Gnad is presenting the work "Star-Topology Decoupling in SPIN"

[SPIN2018 @SPIN_2018]

#spin_2018 T. Lange is presenting the work "Improving Generalization in Software IC3"

[SPIN2018 @SPIN_2018]

#spin_2018 Petri Nets Reductions for Counting Markings (D. Let Botlan)

[SPIN2018 @SPIN_2018]

#spin_2018 Doron Peled & Klaus Havelund invited talk