Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Computing
• Software engineering
• Computer programming
• Carnegie Mellon University
• Carnegie Mellon Silicon Valley
• Abstract interpretation
• Mellon
• Scala
• Refinement

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce

Source URL: rjoshi.org

• Theoretical computer science
• Information retrieval
• Information science
• Model checkers
• Hashing
• Model checking
• Ith
• SPIN model checker
• Bitstate hashing
• Cryptographic hash function
• Correctness
• Applied mathematics

Education Sharif University of Technology, Tehran, Iran BS in Computer Engineering - Software Engineering Grade Point Average: 18.29 out of 20 GPAKasra Edalat Nejad

Source URL: ce.sharif.edu

• Provinces of Iran
• Sharif University of Technology
• Tehran Province
• Nejad
• Mohammad Ghodsi
• Tehran
• SUT

Improving the Adoption of Software Engineering Practices Through Persuasive Interventions Von der Fakultät für Elektrotechnik und Informatik der Gottfried Wilhelm Leibniz Universität Hannover zur Erlangung des Grades

Source URL: etc.leif.me

Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering

Source URL: zhang-sai.github.io

• Logic
• Mathematical logic
• Non-classical logic
• Markov logic network
• Software testing
• Probabilistic logic
• Software bug
• Code coverage
• Debugging
• Inference
• First-order logic
• Buggy

Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org

Source URL: arieg.bitbucket.io

• Theoretical computer science
• Formal methods
• Software engineering
• Logic in computer science
• Formal verification
• Satisfiability modulo theories
• Abstract interpretation
• Loop invariant
• Logic programming
• Model checking
• KeY
• Software verification

BOXES: Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University January 28, 2011

Source URL: arieg.bitbucket.io

• Systems science
• Carnegie Mellon University
• Systems engineering
• Systems theory
• Cyberwarfare
• Software Engineering Institute
• System of systems
• Carnegie Mellon Silicon Valley
• Software engineering
• Pittsburgh
• Science and technology in the United States

RAIDq: A software-friendly, multiple-parity RAID Ming-Shing Chen† , Bo-Yin Yang‡ , and Chen-Mou Cheng†‡ † Department of Electrical Engineering, National Taiwan University, Taiwan ‡ Research Center for Informa

Source URL: precision.moscito.org

• Coding theory
• Error detection and correction
• ReedSolomon error correction
• NC
• Erasure code
• RAID
• Discrete mathematics
• Mathematics
• Theoretical computer science

Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Software engineering
• Theoretical computer science
• Formal methods
• Computing
• Computer science
• Computer security
• Model checking
• Verification
• Formal verification
• Carnegie Mellon University
• Proof-carrying code
• Software Engineering Institute

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Model checking probabilistic and stochastic extensions of the π -calculus

Source URL: qav.comlab.ox.ac.uk