|
|
|
|
| LEADER |
02830nmm a2200337 u 4500 |
| 001 |
EB000652121 |
| 003 |
EBX01000000000000000505203 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
140122 ||| eng |
| 020 |
|
|
|a 9783540246220
|
| 100 |
1 |
|
|a Steffen, Bernhard
|e [editor]
|
| 245 |
0 |
0 |
|a Verification, Model Checking, and Abstract Interpretation
|h Elektronische Ressource
|b 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
|c edited by Bernhard Steffen, Giorgio Levi
|
| 250 |
|
|
|a 1st ed. 2004
|
| 260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 2004, 2004
|
| 300 |
|
|
|a XI, 325 p
|b online resource
|
| 505 |
0 |
|
|a Tutorial -- Security, Protocols, and Trust -- Security -- Security Types Preserving Compilation -- History-Dependent Scheduling for Cryptographic Processes -- Formal Methods I -- Construction of a Semantic Model for a Typed Assembly Language -- Rule-Based Runtime Verification -- On the Expressive Power of Canonical Abstraction -- Boolean Algebra of Shape Analysis Constraints -- Approximate Probabilistic Model Checking -- Completeness and Complexity of Bounded Model Checking -- Model Checking for Object Specifications in Hidden Algebra -- Formal Methods II -- Model Checking Polygonal Differential Inclusions Using Invariance Kernels -- Checking Interval Based Properties for Reactive Systems -- Widening Operators for Powerset Domains -- Type Inference for Parameterized Race-Free Java -- Certifying Temporal Properties for Compiled C Programs -- Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking -- Static Analysis versus Software Model Checking for Bug Finding -- Automatic Inference of Class Invariants -- Liveness with Invisible Ranking -- A Complete Method for the Synthesis of Linear Ranking Functions -- Symbolic Implementation of the Best Transformer -- Formal Methods III -- Constructing Quantified Invariants via Predicate Abstraction -- Analysis of Recursive Game Graphs Using Data Flow Equations -- Applying Jlint to Space Exploration Software -- Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone -- A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal
|
| 653 |
|
|
|a Compilers (Computer programs)
|
| 653 |
|
|
|a Computer Science Logic and Foundations of Programming
|
| 653 |
|
|
|a Compilers and Interpreters
|
| 653 |
|
|
|a Software engineering
|
| 653 |
|
|
|a Computer science
|
| 653 |
|
|
|a Computer Science
|
| 653 |
|
|
|a Software Engineering
|
| 700 |
1 |
|
|a Levi, Giorgio
|e [editor]
|
| 041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
| 989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
| 490 |
0 |
|
|a Lecture Notes in Computer Science
|
| 028 |
5 |
0 |
|a 10.1007/b94790
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/b94790?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 005.1
|