Log In
Or create an account ->
Imperial Library
Home
About
News
Upload
Forum
Help
Login/SignUp
Index
Cover
Frontmatter
An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data
Learning from Faults: Mutation Testing in Active Automata Learning
Parametric Model Checking Timed Automata Under Non-Zenoness Assumption
Multi-timed Bisimulation for Distributed Timed Automata
Auto-Active Proof of Red-Black Trees in SPARK
Analysing Security Protocols Using Refinement in iUML-B
On Learning Sparse Boolean Formulae for Explaining AI Decisions
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets
Model-Counting Approaches for Nonlinear Numerical Constraints
Input Space Partitioning to Enable Massively Parallel Proof
Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations
Modular Model-Checking of a Byzantine Fault-Tolerant Protocol
Improved Learning for Stochastic Timed Models by State-Merging Algorithms
Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants
A Relational Shape Abstract Domain
Floating-Point Format Inference in Mixed-Precision
A Verification Technique for Deterministic Parallel Programs
Systematic Predicate Abstraction Using Variable Roles
specgen: A Tool for Modeling Statecharts in CSP
HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis
Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino
SPEN: A Solver for Separation Logic
From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case
Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function
Reasoning About Safety-Critical Information Flow Between Pilot and Computer
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
Verifying a Class of Certifying Distributed Programs
Compact Proof Witnesses
Qualification of a Model Checker for Avionics Software Verification
SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements
Just Formal Enough? Automated Analysis of EARS Requirements
Backmatter
← Prev
Back
Next →
← Prev
Back
Next →