Search alternatives:
"notification" » "justification"
"certification" » "identification"
Cover Image
Read Now

1
Published 2019
Springer International Publishing
Table of Contents: “... analysis -- Type systems -- Deductive methods -- Program certification -- Decision procedures -- Theorem...”
Cover Image
Read Now

2
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... synthesis -- Static analysis -- Type systems -- Deductive methods -- Program certification -- Debugging...”
Cover Image
Read Now

3
Published 2024
Springer Berlin Heidelberg
Table of Contents: “... Microservice Architecture for a Fire -- Risk Notification System -- Computing Reveals on Equal-Conflict Petri...”
Cover Image
Read Now

4
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...) -- Design of reliable combinatorial algorithms using certificates -- An improved deterministic algorithm...”
Cover Image
Read Now

5
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... -- Formalising Observer Theory for Environment-Sensitive Bisimulation -- Formal Certification of a Resource-Aware...”
Cover Image
Read Now

6
Published 2022
Springer International Publishing
Table of Contents: “...-time Certification of Local Robustness -- CEG4N: Counter-Example Guided Neural Network Quantization...”
Cover Image
Read Now

7
Published 2011
Springer Berlin Heidelberg
“.... They are organized in topical sections on logic and types, certificates, formalization, proof assistants, teaching...”
Cover Image
Read Now

8
Published 2013
Springer Berlin Heidelberg
“... synthesis, static analysis, type system, deductive methods, program certification, debugging techniques...”
Cover Image
Read Now

9
Published 2016
Springer Berlin Heidelberg
“... methods, program certification, debugging techniques, program transformation, optimization, hybrid...”
Cover Image
Read Now

10
Published 2018
Springer International Publishing
“..., transformation, analysis and verification, specialization, testing and certification, composition, program/model...”
Cover Image
Read Now

11
Published 2021
Springer International Publishing
Table of Contents: “... Certification of Neural Networks -- A Multi-Language Static Analysis of Python Programs with Native C Extensions...”
Cover Image
Read Now

12
Published 2023
Springer Nature Switzerland
“... analysis, type systems, deductive methods, decision procedures, theorem proving, program certification...”
Cover Image
Read Now

13
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Invited Talks -- Extreme Nash Equilibria -- Certification of Memory Usage -- On Programming Models...”
Cover Image
Read Now

14
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Model Checking of Deadlock Freedom -- Exponential-Condition-Based Barrier Certificate Generation...”
Cover Image
Read Now

15
Published 2021
Springer International Publishing
Table of Contents: “... -- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models -- Improving Neural...”
Cover Image
Read Now

16
Published 2020
Springer International Publishing
Table of Contents: “... -- Nonexistence Certificates for Ovals in a Projective Plane of Order Ten -- Edge-Disjoint Branchings in Temporal...”
Cover Image
Read Now

17
Published 2003
Springer US
Table of Contents: “... Security Model -- 5 Using X.509 Attribute Certificates for Role-Based EAM -- 6 Implementing Workflow...”
Cover Image
Read Now

18
Published 2017
Springer International Publishing
“... certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems....”
Cover Image
Read Now

19
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... ordering problem -- Off-line electronic cash based on secret-key certificates -- Recognizable sets...”
Cover Image
Read Now

20
Published 2023
Springer Nature Switzerland
Table of Contents: “...Invited Talk.-A Learner-Verifier Framework for Neural Network Controllers and Certificates...”