Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
interactive verification » interactive sonification, integration verification, integrating verification
programming contracts » programming contract, programming constructs, programming constraints
verification program » verification problems, verification process, verification proving
program programming » programs programming, programmer programming, pram programming
https » http
1
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
2
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... the Security in the GSM Radio Network Using Attack Jungles -- Formal Modeling and Verification of Sensor...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
3
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... to DA Research -- Toward Property-Driven Abstraction for Heap Manipulating Programs -- Branching vs...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
4
Buchumschlag
Veröffentlicht 2015
Inhaltsangabe: “...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
5
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... Application of Geometric Semantics to Static Analysis of Concurrent Programs -- Verification of Qualitative...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
6
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
7
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “... at the Architectural Level -- Are Practitioners Writing Contracts? -- Determining the Specification of a Control System...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
8
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
9
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “... of Transformations in Compiler Back-Ends -- Accurate Theorem Proving for Program Verification -- Designing Safe...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
10
Buchumschlag
Veröffentlicht 2015
Inhaltsangabe: “... and Verification of Survivability Requirements for Critical Systems -- Model-Based Verification of Safety Contracts...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
11
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
12
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Monotonic Abstraction: A CEGAR for Parameterized Verification -- Information Flow in Interactive Systems...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
13
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
14
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “... Nets and Contracts -- On Efficiency Preorders -- Compiling Cooperative Task Management to Continuations...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
15
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... -- Architectural Verification of Black-Box Component-Based Systems -- Systematic Generation of XML Instances...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
16
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... -- An SMT Approach to Bounded Reachability Analysis of Model Programs -- Verification -- Parameterized Tree...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
17
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “... Programming -- Verification of Open Concurrent Object Systems -- Automatic Inference of Bounds on Resource...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
18
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “...Invited Talk -- Contracts for BIP: Hierarchical Interaction Models for Compositional Verification...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
19
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... for Model Checking Trusted Computing Platforms -- The VerCors Tool for Verification of Concurrent Programs...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
20
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... for Document-Driven Workflow Systems -- Service Interaction Patterns -- Industrial Papers -- Modeling...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden — Suche speichern