SeaHorn: A Framework for Verifying C Programs (Competition Contribution)? Arie Gurfinkel1 , Temesghen Kahsai2 , and Jorge A. Navas3 1 Software Engineering Institute / CMU, USA

Source URL: jorgenavas.github.io

• Programming language implementation
• Compiler construction
• Software engineering
• Computing
• Compiler optimizations
• Software testing
• Abstract interpretation
• LLVM
• Compiler
• Intermediate representation
• Hoare logic
• Static single assignment form

AN INTRODUCTION TO D-MODULES by Jean-Baptiste Teyssier Introduction This text gathers notes of a five hours course on D-modules given for the Winter

Source URL: jbteyssier.com

• Mathematics
• Mathematical analysis
• Calculus
• Sheaf theory
• Algebraic topology
• Multivariable calculus
• Integral calculus
• D-module
• Differential operator
• Local system
• Sheaf
• Integration by parts

PUMP: A Programmable Unit for Metadata Processing Udit Dhawan1 Nikos Vasilakis1 Jonathan M. Smith1 Thomas F. Knight, Jr.3 1

Source URL: nikos.vasilak.is

XFindBugs: eXtended FindBugs for AspectJ Haihao Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Yao Software Theory and Practice Group (STAP) Shanghai Jiao Tong University, China A code

Source URL: zhang-sai.github.io

• Software development
• Aspect-oriented software development
• Aspect-oriented programming
• Computing
• AspectJ
• Pointcut
• Join point
• FindBugs
• Aspect
• Aspect weaver

GoDirect™ Your direct route to reliable services GoDirect™ - Your Direct Route to Reliable Services There’s a high demand for integrated services these days. Operators are looking for ways to improve safety, incre

Source URL: aerospace.honeywell.com

• Aviation
• Technology
• Transport
• Aircraft instruments
• Avionics
• Air traffic control
• Electronic design
• Honeywell
• Flight planning
• ACARS
• Business jet
• Flight plan

PRISM-games 2.0: A Tool for Multi-Objective Strategy Synthesis for Stochastic Games Marta Kwiatkowska1 , David Parker2 , and Clemens Wiltsche1 1 2

Source URL: www.prismmodelchecker.org

• Microeconomics
• Game theory
• Economics
• Applied mathematics
• Non-cooperative games
• Mathematical optimization
• Nash equilibrium
• Stochastic game
• Zero-sum game
• Pareto efficiency
• Strategy

What is SaveTax ? SaveTax is a multi-jurisdictional solution for fiscal calculation and reporting. The product’s rules-based engine and unique architecture enable it to cope with a hierarchy of ever-changing tax rules,

Source URL: sofgen.com

• International taxation
• Tax
• Economy
• Tax avoidance
• World economy
• Value-added tax
• Economic globalization
• Offshore finance

VOL. E101-A NO. 3 MARCH 2018 The usage of this PDF file must comply with the IEICE Provisions on Copyright. The author(s) can distribute this PDF file for research and educational (nonprofit) purposes only.

Source URL: precision.moscito.org

• Algebra
• Abstract algebra
• Mathematics
• Finite fields
• Multivariate cryptography
• Polynomials
• Number theory
• Hidden Field Equations
• QUAD
• XTR
• Polynomial interpolation
• Grbner basis

An Overview of M AR Q Giles Reger University of Manchester, Manchester, UK Abstract. MarQ is a runtime monitoring tool for specifications written as quantified event automata, an expressive automata-based specification l

Source URL: www.cs.man.ac.uk

1 POINTS IN EQUILIBRIUM Given locally finite configuration of points on the real line R, define a potential F (x, y) to be the force between two points x, y, for example

Source URL: www.wisdom.weizmann.ac.il

• Geometry
• Mathematics
• Space
• Geometric group theory
• Metric geometry
• Approximate group
• Group theory
• Metric space