Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science

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

BOPS, Not FLOPS! A New Metric, Measuring Tool, and Roofline Performance Model For Datacenter Computing Chen Zheng ICT，CAS

Source URL: prof.ict.ac.cn

• FLOPS
• Floating point
• Computing
• Roofline model
• Speedup
• Xeon
• Computer programming
• Parallel computing
• Software engineering

Selfless Interpolation for Infinite-State Model Checking? Tanja Schindler1 and Dejan Jovanovi´c2 1 University of Freiburg

Source URL: csl.sri.com

• Mathematics
• Theoretical computer science
• Mathematical logic
• Lemmas
• Model theory
• Interpolation
• Logic in computer science
• Craig interpolation
• Satisfiability modulo theories
• Farkas' lemma
• Quantifier elimination
• First-order logic

Inférence d’invariants pour le model checking de systèmes paramétrés Alain Mebsout LRI, Université Paris-Sud Soutenance de thèse

Source URL: cubicle.lri.fr

Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

Source URL: csl.sri.com

• Algorithm
• Mathematical logic
• Theoretical computer science
• IP
• Model checking
• Mathematics
• Machine learning

Proof Certificates for SMT-based Model Checkers for Infinite-state Systems Alain Mebsout Cesare Tinelli

Source URL: mebsout.github.io

• Mathematical logic
• Mathematics
• Theoretical computer science
• Temporal logic
• Logic in computer science
• Model theory
• Formal methods
• Linear temporal logic
• Satisfiability modulo theories
• First-order logic
• Propositional calculus
• IP

The Lambrechts–Stanley Model of Configuration Spaces Najib Idrissi∗ November 30, 2016 We prove the validity over R of a CDGA model of configuration spaces for

Source URL: idrissi.eu

• Algebra
• Abstract algebra
• Mathematics
• Algebraic topology
• Homotopy theory
• Category theory
• Operad theory
• Rational homotopy theory
• Homotopy Lie algebra
• Comodule
• Sheaf

Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology

Source URL: rjoshi.org

• Model checkers
• Software engineering
• Computing
• Model checking
• Theoretical computer science
• SPIN model checker
• Stack
• Promela
• Exception handling
• Device driver synthesis and verification

1 On the efficiency of the new Italian Senate and the role of 5 Stars Movement Comparison among different possible scenarios by means of a virtual Parliament model A. Pluchino, A. Rapisarda, C. Garofalo, S. Spagano, M.

Source URL: www2.dfa.unict.it

• Political parties
• Politics of Italy
• Politics of Europe
• Five Star Movement
• Democratic Party
• Italian Parliament
• Possible
• Senate of the Republic
• The People of Freedom
• Lega Nord
• Conte Cabinet

NITI Aayog, Intel and TIFR collaborate to set up a Model International Center for Transformative AI (ICTAI) Aiming to solve major challenges in India, the center will focus on application-based AI research in healthcare,

Source URL: www.tifr.res.in

• Technology
• Computational neuroscience
• Computing
• NITI Aayog
• Niti
• Artificial intelligence
• Intel
• Ai
• Tata Institute of Fundamental Research