• Suche: Principles of model checking

Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 141 - 160 von 6.203

141

GAMBIT : effective unit testing for concurrency libraries
Coons, Katherine E. ; Burckhardt, Sebastian ; Musuvathi, Madanlal
Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. :15-24

Konferenz
Zur Merkliste hinzufügen
142

Types and higher-order recursion schemes for verification of higher-order programs
Kobayashi, Naoki
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :416-428

Konferenz
Zur Merkliste hinzufügen
143

Pervasive detection of process races in deployed systems
Laadan, Oren ; Viennot, Nicolas ; Tsai, Chia-Che ; et al.
Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles. :353-367

Konferenz
Zur Merkliste hinzufügen
144

Unboundedness and downward closures of higher-order pushdown automata
Hague, Matthew ; Kochems, Jonathan ; Ong, C.-H. Luke
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. :151-163

Konferenz
Zur Merkliste hinzufügen
145

Quantitative Analysis of Consistency in NoSQL Key-Value Stores
Liu, Si ; Ganhotra, Jatin ; Rahman, Muntasir Raihan ; et al.
Leibniz Transactions on Embedded Systems, Vol 4, Iss 1, Pp 03:1-03:26 (2017)

nosql key-value store consistency statistical model checki... rewriting logic maude Technology …
Fachzeitschrift
Zur Merkliste hinzufügen
146

On the analysis of interacting pushdown systems
Kahlon, Vineet ; Gupta, Aarti
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :303-314

Konferenz
Zur Merkliste hinzufügen
147

A fixpoint calculus for local and global program flows
Alur, Rajeev ; Chaudhuri, Swarat ; Madhusudan, P.
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :153-165

Konferenz
Zur Merkliste hinzufügen
148

Dieses Ergebnis kann Gästen nicht angezeigt werden.

149

Layered fixed point logic
Filipiuk, Piotr ; Nielson, Flemming ; Nielson, Hanne Riis
Proceedings of the 14th symposium on Principles and practice of declarative programming. :45-54

Konferenz
Zur Merkliste hinzufügen
150

Dieses Ergebnis kann Gästen nicht angezeigt werden.

151

Arcade.PLC: a verification platform for programmable logic controllers
Biallas, Sebastian ; Brauer, Jörg ; Kowalewski, Stefan
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering. :338-341

Konferenz
Zur Merkliste hinzufügen
152

QED and Symbolic QED : Dramatic Improvements in Pre-Silicon Verification and Post-Silicon Validation
Keerthikumara Devarajegowda ; Florian Lonsing ; Mohammad R. Fadiheh ; et al.

Buch
Zur Merkliste hinzufügen
153

Dieses Ergebnis kann Gästen nicht angezeigt werden.

154

A strategy for efficiently verifying requirements
Jeffords, Ralph D. ; Heitmeyer, Constance L.
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering. :28-37

Konferenz
Zur Merkliste hinzufügen
155

Nested interpolants
Heizmann, Matthias ; Hoenicke, Jochen ; Podelski, Andreas
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :471-482

Konferenz
Zur Merkliste hinzufügen
156

Programming with angelic nondeterminism
Bodik, Rastislav ; Chandra, Satish ; Galenson, Joel ; et al.
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :339-352

Konferenz
Zur Merkliste hinzufügen
157

Dieses Ergebnis kann Gästen nicht angezeigt werden.

158

Parrot : a practical runtime for deterministic, stable, and reliable threads
Cui, Heming ; Simsa, Jiri ; Lin, Yi-Hong ; et al.
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles. :388-405

Konferenz
Zur Merkliste hinzufügen
159

IDD-based model validation of biochemical networks
Schwarick, Martin ; Tovchigrechko, Alexej
Theoretical Computer Science. Jun2011, Vol. 412 Issue 26, p2884-2908. 25p.

BIOLOGICAL models COMPUTER networks PETRI nets QUANTITATIVE research STOCHASTIC analysis MATHEMATICAL models …
Fachzeitschrift
Zur Merkliste hinzufügen
160

An effective framework for assume-guarantee verification of evolving component-based software
Hung, Pham Ngoc ; Aoki, Toshiaki ; Katayama, Takuya
Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops. :109-118

Konferenz
Zur Merkliste hinzufügen
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter