a framework for runtime verification of concurrent programs
Published 8 years ago • 177 plays • Length 1:08:15Download video MP4
Download video MP3
Similar videos
-
1:10:46
interprocedural analysis and the verification of concurrent programs
-
58:29
modular verification of concurrent programs with heap
-
1:07:07
verified concurrent programmes: laws of programming with concurrency
-
1:07:24
mop: a generic and efficient runtime verification framework
-
53:51
runtime refinement checking for concurrent data structures
-
1:06:50
precise and automated symbolic analysis of concurrent programs
-
1:21:50
staged concurrent program analysis
-
1:46:19
an intro to runtime verification and monitorability (adrian francalenza, univ. of malta, malta)
-
50:28
foundations on runtime verification (martin leucker, university of luebeck, germany)
-
5:57
secret to optimizing sql queries - understand the sql execution order
-
1:15:31
model-based code generation and debugging of concurrent programs
-
59:46
race-aware runtimes for concurrent software development & deployment
-
1:15:30
on the automatic verification of dynamic/parametrized systems
-
1:01:34
algorithmic analysis of infinite-state concurrent systems
-
1:10:57
verifying data parallel programs using sequential program verification technology
-
1:07:36
an intuitive and efficient semantics for concurrent programming languages
-
15:12
runtime verification: building the large program collider
-
1:13:42
zero overhead verification of software programs & on range search in distributed sensor networks
-
58:10
pony: co-designing a type system and a runtime
-
53:06
a domain specific language for testing concurrent programs
-
53:34
steel: a concurrent separation logic framework to scale up verification in f*
-
42:57
techfest 2007 - automatically proving concurrent programs correct