mattmight's verification [7 articles] Export

Recent papers added to mattmight's library classified by the tag verification. You can also see everyone's verification.

Hide details

	seL4: Formal verification of an OS kernel [My Copy] In SOSP 2009: Proceedings of the 22nd ACM Symposium on Operating Systems Principles (October 2009) by Gerwin Klein, Kevin Elphinstone, Gernot Heiser, et al.June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood posted to verification by mattmight on 2009-08-16 17:28:37 as along with 1 group ACSys
	Proving Theorems about LISP Functions [My Copy] Journal of the ACM, Vol. 22, No. 1. (January 1975), pp. 129-144. by Robert S. Boyer, J. Strother Moore posted to theorem-proving verification by mattmight on 2009-07-15 18:04:49 as along with 1 person radico
	Introduction To The Hol System [My Copy] HOL Theorem Proving System and Its Applications, 1991., International Workshop on the In HOL Theorem Proving System and Its Applications, 1991., International Workshop on the (1991), pp. 2-3. by Mike Gordon posted to theorem-proving verification by mattmight on 2009-07-15 18:01:50 as along with 1 person varming
	Types and higher-order recursion schemes for verification of higher-order programs [My Copy] In POPL '09: Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2009), pp. 416-428. by Naoki Kobayashi posted to static-analysis verification by mattmight on 2009-07-15 05:17:36 as
	Results on the propositional μ-calculus [My Copy] Theoretical Computer Science, Vol. 27, No. 3. (1983), pp. 333-354. by Dexter Kozen posted to model-checking verification by mattmight on 2009-07-15 00:08:51 as along with 1 person sgwyj
	Polymorphism and separation in hoare type theory [My Copy] In ICFP '06: Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming (2006), pp. 62-73. by Aleksandar Nanevski, Greg Morrisett, Lars Birkedal posted to dependent-types hoare-logic type-theory verification by mattmight on 2009-07-14 23:05:36 as
	An axiomatic basis for computer programming [My Copy] Communications of the ACM, Vol. 12, No. 10. (October 1969), pp. 576-580. by C. A. R. Hoare posted to hoare-logic verification by mattmight on 2009-07-14 22:15:46 as along with 20 people and 6 groups thermostat bedieber cyph3r robertjohnsimmons hdeyoung ddemange mrsmond michaelbanks jkominek leonardo rwtodd dsilva jff jbrown rgb calvins flavian_vasile _Anne_ bfraser zuleger ConcertRG Crypto GraphTheory pileWorks Foundations-of-Programming TMC

Note: You may cite this page as: http://www.citeulike.org/user/mattmight/tag/verification

static-analysis	41
abstract-interpretation	25
cfa	20
parsing	15
control-flow-analysis	14
type-theory	13
security	7
verification	7
alias-analysis	6
compiler	6
shape-analysis	6
model-checking	5
environment-analysis	4
lambda-calculus	4
macros	4
ml	4
parallelization	4
abstract-counting	3
abstract-garbage-collection	3
constraint-solving	3
cps	3
dependent-types	3
dissertation	3
escape-analysis	3
gamma-cfa	3
scheme	3
sml	3
specification	3
theorem-proving	3
cek	2
compilers	2
continuation	2
data-flow-analysis	2
delta-cfa	2
frame-strings	2
haskell	2
hoare-logic	2
lexing	2
non-nullability	2
operating-systems	2
pointer-analysis	2
predicate-abstraction	2
pushdown-automata	2
type-based-analysis	2
anf	1
benchmarking	1
c	1
cfl	1
context-free-grammars	1
continuation-passing-style	1
coq	1
coroutine	1
coroutine-fusion	1
damas-milner	1
dependence	1
derivative	1
dod	1
error-correcting-codes	1
exceptions	1
existential-cfa	1
flattening	1
functional-programming	1
galois-connection	1
ghc	1
grammars	1
graph-reachability	1
information-theory	1
java	1
lfa	1
linear-type	1
llvm	1
logic-flow-analysis	1
malware	1
mlton	1
partial-evaluation	1
pda	1
peer-review	1
peg	1
pushdown-analysis	1
r5rs	1
reachability-analysis	1
register-allocation	1
regular-expressions	1
scala	1
sensor-nets	1
software-engineering	1
ssa	1
stack	1
super-beta	1
symbolic-execution	1
termination	1
transducer-fusion	1
tree-automata	1
tvla	1
type-inference	1
ucombinator	1
wcet	1

mattmight's verification [7 articles] Export

mattmight's tags