Automated Quantitative Software Verification by Mark Kattenbelt A thesis submitted for the degree of

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

• Model checkers
• Model checking
• Abstraction
• Mathematical proof
• Economic model
• Verification
• Theoretical computer science
• Formal methods
• Cognitive science
• Computing
• PRISM model checker
• Construction and Analysis of Distributed Processes

General Condition 24 on Sales and Marketing of Fixed-Line Telephony Services Scope

Source URL: trianglenetworks.co.uk

• Broadband
• Communication
• Economy of the United Kingdom
• Economy
• Department for Digital
• Culture
• Media and Sport
• Ofcom
• Postal system of the United Kingdom
• Television in the United Kingdom
• BT Group
• Local-loop unbundling
• Telephone slamming
• Migration Authorisation Code

1 Computing Minimal Update Sequences for Graceful Router-wide Reconfigurations Francois Clad1 , Stefano Vissicchio2 , Pascal Mérindol1 , Pierre Francois3 and Jean-Jacques Pansiot1 1

Source URL: www0.cs.ucl.ac.uk

• Computing
• Routing protocols
• Data transmission
• Network architecture
• Internet architecture
• Internet Standards
• Internet protocols
• Routing algorithms
• Constraint
• Open Shortest Path First
• Link-state routing protocol
• Router

Technical Report On the Mathematical Properties of Monadic Stream Functions 1.

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

• Software engineering
• Computer programming
• Mathematics
• Spectral theory
• Computability theory
• Lambda calculus
• Theoretical computer science
• Monad
• Continuous function
• Function composition
• Spectral theory of ordinary differential equations
• Jordan normal form

Tobias Nipkow Programming and Proving in Isabelle/HOL le l

Source URL: www.cl.cam.ac.uk

• Type theory
• Theoretical computer science
• Proof assistants
• Mathematical logic
• Programming language theory
• Formal methods
• Lambda calculus
• Logic in computer science
• Isabelle
• HOL
• HindleyMilner type system
• Automated theorem proving

Lippincott Williams & Wilkins TERMS AND CONDITIONS (THE BUYER’S ATTENTION IS DRAWN IN PARTICULAR TO THE PROVISIONS OF CONDITIONS 9 ANDDefinitions In these Conditions:

Source URL: distribution.nbni.co.uk

• Economy
• Business
• Contract law
• Legal documents
• Invoice
• Sale of Goods Act
• Contract
• Value-added tax
• Point of sale
• Receipt
• Law of obligations
• Affreightment

Theoretical Computer Science – 551 www.elsevier.com/locate/tcs On the computational strength of pure ambient calculi夡 Sergio Maffeis, Iain Phillips∗

Source URL: www.doc.ic.ac.uk

• Theoretical computer science
• Theory of computation
• Computability theory
• Mathematics
• Turing machine
• Alan Turing
• Models of computation
• Ambient calculus
• Turing completeness
• Halting problem
• Computability
• Reduction

IGP-as-a-Backup for Robust SDN Networks Olivier Tilmans Stefano Vissicchio Universit´e catholique de Louvain

Source URL: www0.cs.ucl.ac.uk

      What  difference  can  I  make?  

Source URL: scotdectrees.users38.interdns.co.uk

• Ethical theories
• CAL Actor Language
• Parametric determinism

Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2

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

• I0
• Invariant
• XC