Advanced SPIN Tutorial

Spin [9] is a model checker for the verification of distributed systems software. The tool is freely distributed, and often described as one of the most widely used verification systems. The Advanced Spin Tutorial is a sequel to [7] and is targeted towards intermediate to advanced Spin users

Installation process and main functionalities of the Spin model checker

This document explains how to download and install all the software needed to properly run the Spin model checker and its user-friendly graphical user interface, called iSpin. It also offers a short tutorial which presents the main functionalities of Spin and explains briefly some basic concepts which are important to be able to use Spin through iSpin.Grupo de investigación MYDASS (Modelling & Development of Advanced Software Systems), TIC-230. Departamento de Lenguajes y Sistemas Informáticos (Universidad de Granada)

A Review of Student Difficulties in Upper-Level Quantum Mechanics

Learning advanced physics, in general, is challenging not only due to the increased mathematical sophistication but also because one must continue to build on all of the prior knowledge acquired at the introductory and intermediate levels. In addition, learning quantum mechanics can be especially challenging because the paradigms of classical mechanics and quantum mechanics are very different. Here, we review research on student reasoning difficulties in learning upper-level quantum mechanics and research on students' problem-solving and metacognitive skills in these courses. Some of these studies were multi-university investigations. The investigations suggest that there is large diversity in student performance in upper-level quantum mechanics regardless of the university, textbook, or instructor and many students in these courses have not acquired a functional understanding of the fundamental concepts. The nature of reasoning difficulties in learning quantum mechanics is analogous to reasoning difficulties found via research in introductory physics courses. The reasoning difficulties were often due to over-generalizations of concepts learned in one context to another context where they are not directly applicable. Reasoning difficulties in distinguishing between closely related concepts and in making sense of the formalism of quantum mechanics were common. We conclude with a brief summary of the research-based approached that take advantage of research on student difficulties in order to improve teaching and learning of quantum mechanics

From Lagrangians to Events: Computer Tutorial at the MC4BSM-2012 Workshop

This is a written account of the computer tutorial offered at the Sixth MC4BSM workshop at Cornell University, March 22-24, 2012. The tools covered during the tutorial include: FeynRules, LanHEP, MadGraph, CalcHEP, Pythia 8, Herwig++, and Sherpa. In the tutorial, we specify a simple extension of the Standard Model, at the level of a Lagrangian. The software tools are then used to automatically generate a set of Feynman rules, compute the invariant matrix element for a sample process, and generate both parton-level and fully hadronized/showered Monte Carlo event samples. The tutorial is designed to be self-paced, and detailed instructions for all steps are included in this write-up. Installation instructions for each tool on a variety of popular platforms are also provided.Comment: 58 pages, 1 figur