Search alternatives:
"execution" » "executive"
Cover Image
Read Now

1
Published 2019
Springer International Publishing
Table of Contents: “... Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded...”
Cover Image
Read Now

2
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... Integration in the Networked Healthcare.- Simple Modeling of Executable Role-Based Workflows: An Application...”
Cover Image
Read Now

3
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... IN protocol implementation -- Agent-based data services in future IN-platforms -- Visualisation of executable...”
Cover Image
Read Now

4
Published 2018
Springer International Publishing
Table of Contents: “... Approach -- Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges --...”
Cover Image
Read Now

5
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... with RELVIEW -- Efficient search as a means of executing specifications -- An improvement of McMillan...”
Cover Image
Read Now

6
Published 2012
Springer Berlin Heidelberg
Table of Contents: “...Verification and Validation.- Learning Stochastic Timed Automata from Sample Executions.- Learning...”
Cover Image
Read Now

7
Published 2021
Springer International Publishing
Table of Contents: “... in Smart Factories -- From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages...”
Cover Image
Read Now

8
Published 2016
Springer International Publishing
Table of Contents: “...Symbolic Execution with CEGAR -- Multi-Core Model Checking of Large-Scale Reactive Systems Using...”
Cover Image
Read Now

9
Published 2016
Springer International Publishing
Table of Contents: “... -- Execution Trace Analysis Using LTL-FO+ -- Challenges in Fault-tolerant Distributed Runtime Verification...”