Aluminum: Principled Scenario Exploration through Minimality Tim Nelson1 , Salman Saghafi1 , Daniel J. Dougherty1 , Kathi Fisler1 , Shriram Krishnamurthi2 1 Department of Computer Science

Source URL: web.cs.wpi.edu

• Logic programming
• Alloy Analyzer
• Massachusetts Institute of Technology
• Relational algebra
• Circumscription
• Relational model
• Alloy
• Scenario
• Tuple

TravelBus 2 in 1 Analyzer (Protocol & Logic) • PC-based, USB 3.0 interface/powered • 200 MHz timing/state analysis • Digital channels : 16 (Data), 1 (Clock), 2 (I²C) • Memory : PC RAM

Source URL: www.acute.com.tw

• Battery charging
• IC
• Power Management Bus
• USB
• System Management Bus
• RS-485
• Profibus

Cheap Logic Analyzer +5V IC1 1

Source URL: www.tedrossin.net46.net

The parallel implementation of the Astr´ ee static analyzer David Monniaux http://www.di.ens.fr Centre national de la recherche scientifique (CNRS)

Source URL: www-verimag.imag.fr

• Theoretical computer science
• Logic in computer science
• Software engineering
• Formal methods
• Models of computation
• Parallel computing
• Programming language semantics
• Denotational semantics
• Abstract interpretation
• Semantics
• Astre

Debugging Techniques Using the Vivado Logic Analyzer FPGA 2 FPGA21000-ILT (v1.0)

Source URL: www.xilinx.com

OMEGA LOGIC ANALYZER Reference Manual ASIX s.r.o.

Source URL: www.asix.net

• Electronics
• Logic analyzer
• Technology
• Serial Peripheral Interface Bus
• Electronic engineering
• Electronic test equipment
• Digital electronics
• Embedded systems

TOTAL PHASE Total Phase Features the Beagle™ USB 5000 SuperSpeed Protocol Analyzer, Winner of the 2012 Best in Test Award, at the Intel Developer Forum in Beijing Intel Developer Forum, Beijing, China – April 11, 201

Source URL: www.usb.org

• Technology
• Computer hardware
• Universal Serial Bus
• USB 3.0
• Logic analyzer
• Embedded systems
• Electronics
• Total Phase

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. GoannaSMT – A Static Analyzer with SMT-based Refinement

Source URL: www.cse.unsw.edu.au

• Formal methods
• Logic in computer science
• Model checking
• Satisfiability Modulo Theories
• Static program analysis
• Abstract interpretation
• Abstraction
• C
• Software bug
• Theoretical computer science
• Software engineering
• Computing

Preventing Arithmetic Overflows in Alloy Aleksandar Milicevica,∗, Daniel Jacksona a Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory,

Source URL: people.csail.mit.edu

• Model theory
• Semantics
• Predicate logic
• Formal languages
• Metalogic
• First-order logic
• Alloy Analyzer
• Alloy
• Integer overflow
• Logic
• Mathematical logic
• Mathematics