2011年1月3日
 
用户名:
密码:
 
新闻快递 | 原创文档 | 咨询培训 | 专家顾问 | 个人专栏 | CSDP | 产业报告 | 上海SPIN | 读编往来
首页 | 企业信息化 | 技术新热点 | 成才乐园New! | 软件工程 | 信息安全 | IT教育 | 软件出口 | 网站论坛
软件工程
软件过程管理和改进
轻载过程和敏捷方法
方法学
软件体系结构
项目管理
极限/敏捷项目管理
团队协作
人件
需求工程
软件质量
OO分析和设计技术
编译技术 
软件设计
面向服务架构
面向特征的开发
基于构件的开发
软件模式
开放源开发平台Eclipse
推荐软件工程实践
可用性工程
软件工程标准
常用文档模板和对照表
CASE工具
软件工厂
经验工厂
软件工程中心
技术传播
技术转移
软件产品评估
软件分析和验证
模型驱动开发
时序逻辑和软件工程
Web工程
数据库设计
OO数据库
数据库编程
软件工程信息资源
软件构造
软件维护
 
 
软件分析和验证 
 
NIST Report: The Economic Impacts Of Inadequate Infrastructure For Software Testing
http://www.nist.gov/director/prog-ofc/report02-3.pdf
Sustainable Computing Consortium
http://www.sustainablecomputing.org
Model Checking
http://www.cs.umass.edu/~immerman/cav.html
Model Checking Accomplishments And Opportunities
http://www.cis.upenn.edu/~alur/Talks/grasp00.PDF
Ballista Project COTS Software Robustness Testing
http://www.ece.cmu.edu/~koopman/ballista/index.html
Ballista Publications
http://www-2.cs.cmu.edu/afs/cs.cmu.edu/project/edrc-ballista/www/pubs.html
Different Aspects Of Security Problems In Network Operating Systems
http://www.ce.chalmers.se/research/Security/Publications/pubs/lindskog_session5A.pdf
Robust Software - No More Excuses
http://pages.cpsc.ucalgary.ca/~costi/609.25/01028895.pdf
Philip Koopman's Home Page Dependable Embedded Systems Research
http://ic.vlsi.itb.ac.id/~mgalela/embedded_system/syllabus/koopman/
SLAM Project Microsoft Research
http://research.microsoft.com/slam/
Speeding Up Data Flow Analysis Using Flow-Insensitive Pointer Analysis
http://www.research.microsoft.com/slam/papers/sas02.pdf
The SLAM Project: Debugging System Software Via Static Analysis
http://research.microsoft.com/slam/papers/popl02.pdf
Automatically Validating Temporal Safety Properties of Interfaces
http://www.research.microsoft.com/slam/papers/slam-nt.pdf
The SLAM Toolkit
http://www.research.microsoft.com/slam/papers/slamtk-cav01.pdf
Checking Temporal Properties Of Software With Boolean Programs
http://research.microsoft.com/slam/papers/cav00-workshop.pdf
Boolean Programs: A Model And Process For Software Analysis
http://research.microsoft.com/research/pubs/view.aspx?msr_tr_id=MSR-TR-2000-14
SLIC: A Specification Language For Interface Checking (Of C)
http://research.microsoft.com/research/pubs/view.aspx?msr_tr_id=MSR-TR-2001-21
Bebop: A Path-Sensitive Interprocedural Dataflow Engine
http://research.microsoft.com/slam/papers/bebop-dfa.pdf
Bebop: A Symbolic Model Checker For Boolean Programs
http://research.microsoft.com/slam/papers/bebop.pdf
Polymorphic Predicate Abstraction
http://research.microsoft.com/research/pubs/view.aspx?msr_tr_id=MSR-TR-2001-10
Automatic Predicate Abstraction Of C Programs
http://research.microsoft.com/slam/papers/c2bp-pldi.pdf
Tools And Algorithms For The Construction And Analysis Of Systems (Book)
http://link.springer.de/link/service/series/0558/tocs/t2031.htm
Boolean And Cartesian Abstraction For Model Checking C Programs
http://research.microsoft.com/research/pubs/view.aspx?msr_tr_id=MSR-TR-2000-115
Generating Abstract Explanations Of Spurious Counterexamples In C Programs
http://research.microsoft.com/research/pubs/view.aspx?msr_tr_id=MSR-TR-2002-09
Relative Completeness Of Abstraction Refinement For Software Model Checking
http://research.microsoft.com/research/pubs/view.aspx?msr_tr_id=MSR-TR-2001-106
Parameterized Verification Of Multithreaded Software Libraries
http://research.microsoft.com/research/pubs/view.aspx?msr_tr_id=MSR-TR-2000-116
Specifying And Checking Properties Of Programs
http://research.microsoft.com/slam/papers/CSTB.pdf
BLAST Berkeley Lazy Abstraction Software Verification Tool
http://www-cad.eecs.berkeley.edu/~rupak/blast/
MOPED - A Model-Checker For Pushdown Systems
http://wwwbrauer.informatik.tu-muenchen.de/~schwoon/moped/
Bandera Project Finite-State Verification Techniques
http://www.cis.ksu.edu/santos/bandera/
The IBM Canvas Project
http://www.research.ibm.com/menage/canvas/
NASA Automated Software Engineering Group Verification & Validation
http://ase.arc.nasa.gov/docs/vandv.html
Alchemy Project
http://www.cs.utah.edu/flux/alchemy/
Model Checking At CMU
http://www-2.cs.cmu.edu/~modelcheck/
Center For High Assurance Computer Systems
http://chacs.nrl.navy.mil/
LASER Laboratory Of Advanced Software Engineering Research
http://laser.cs.umass.edu/
Gimpel Software
http://www.gimpel.com/html/lintinfo.htm
ESP Project Error Detection Via Scalable Program Analysis
http://research.microsoft.com/esp/
Compaq Extended Static Check For Java (ESC/Java)
http://www.research.compaq.com/SRC/esc/
Meta-Level Compilation (MC Project)
http://metacomp.stanford.edu/
MOPS Model Checking Programs For Security Properties
http://www.cs.berkeley.edu/~daw/mops/
Open Source Quality
http://www.cs.berkeley.edu/~weimer/osq/
PALE - The Pointer Assertion Logic Engine
http://www.brics.dk/PALE/
The MONA Project
http://www.brics.dk/mona/
PolySpace Next Generation Development Tools For Embedded Applications
http://www.polyspace.com/
Programatica: Integrating Programming, Properties, And Validation
http://www.cse.ogi.edu/PacSoft/projects/programatica/default.htm
Oxford Programming Tools Group
http://web.comlab.ox.ac.uk/oucl/research/areas/progtools/
Prover Technology Proof Engine
http://www.prover.com/
Secure Software System (S3) Group
http://www.cs.purdue.edu/s3/
Semantic Designs: Automated Large-Scale Software System Analysis, Modification, Translation and Generation
http://www.semdesigns.com/
CMU Specification And Verification Center (SVC)
http://www-2.cs.cmu.edu/~svc/
Splint Annotation-Assisted Lightweight Static Checking
http://www.splint.org/
SRI Formal Methods And Dependable Systems
http://www.csl.sri.com/programs/formalmethods/
Improving Program Robustness via Static and Dynamic Analysis
http://suif.stanford.edu/research/analysis.html
TVLA 3-Valued Logic Analysis Engine
http://www.math.tau.ac.il/~rumster/TVLA/
VAULT A Programming Language For Reliable Systems
http://research.microsoft.com/vault/
VeriSoft A Tool For Systematic Software Testing
http://www.bell-labs.com/project/verisoft/
The VFiasco Project
http://os.inf.tu-dresden.de/vfiasco/
Wisconsin Safety Analyzer
http://www.cs.wisc.edu/wisa/
Yahoda Verification Tools Database  
http://anna.fi.muni.cz/yahoda/
On-The-Fly, LTL Model Checking With SPIN
http://spinroot.com/spin/whatispin.html
The Model Checking Kit
http://wwwbrauer.in.tum.de/gruppen/theorie/KIT/
Model Checking Links 
http://vlsi.colorado.edu/~rbloem/mc.html
http://www.math.tau.ac.il/~yahave/model_chk_links.htm
The 10th International SPIN Workshop On Model Checking
http://research.microsoft.com/projects/spin2003/
Modeling And Model-Checking
http://www.liafa.jussieu.fr/web9/equiprech/listequipe.php?ideq=4&langue;=en
Planning As Model Checking Tutorial
http://sra.itc.it/tools/mbp/AIPS02-tutorial.html
Model Checking And Abstraction
http://citeseer.nj.nec.com/clarke92model.html
Model Checking (Book) 2000
http:/www.amazon.com
Reactive Systems And Model Checking From Concept To Tool
http://www.docs.uu.se/docs/rsmc/
Model Checking Publish-Subscribe Systems
http://www.cs.queensu.ca/home/bradbury/pdf/pubsub_paper.pdf
The Rise Of Model Checking
http://www.kingston.ac.uk/~ku07009/Research/modelCheckSeminar.pdf
Model Checking Electronic Commerce Protocols
http://www.usenix.org/publications/library/proceedings/ec96/summaries/node22.html
Model Checking Operator Procedures
http://spinroot.com/spin/Workshops/ws99b/ug090124.pdf
Model Checking: A Tutorial Overview
http://siskin.pst.informatik.uni-muenchen.de/~merz/papers/movep00.pdf
Infinite State Model Checking And Debugging
http://www.cs.ucsb.edu/~rsg/ModelChecking/
Univariate Stochastic ARIMA Model Checking
http://www.xycoon.com/arima_checking.htm
E-Process Design And Assurance Using Model Checking
http://cism.bus.utexas.edu/works/articles/IEEE-Wenli.pdf
Automated Abstraction Refinement for Model Checking Large State Spaces using SAT based Conflict Analysis
http://www.gigascale.org/pubs/153.html
Symbolic Model Checking
http://nusmv.irst.itc.it/NuSMV/papers/sttt_j/html/node2.html
http://www.acm.org/awards/pk_citations/1998.html
Fixed-Parameter Tractability, Definability, and Model-Checking
http://epubs.siam.org/sam-bin/dbq/article/36076
Using Model Checking To Debug Device Firmware
http://www.cs.princeton.edu/~skumar/papers/osdi02/
Towards TLA+ Model Checking
http://gatekeeper.research.compaq.com
Model Checking The Transmit Master/Receive Slave (TMRS) Using Formalcheck
http://www.cadence.com/whitepapers/tmrs.html
Applying Model Checking To Large Software Specifications
http://www.cs.washington.edu/homes/notkin/talks/mc-overview/
Compositional Model-Checking For Algol With Active Expressions
http://users.ox.ac.uk/~coml0074/papers/mfps02.pdf
Designing A Controlled Language For Interactive Model Checking
http://www.hcrc.ed.ac.uk/Site/GROVC00.html
Examples Of SAT Problems From Bounded Model Checking An Alpha Design
http://www.ftp.cl.cam.ac.uk/ftp/hvg/sat-examples/
Verification, Model Checking And Abstract Interpretation
http://www.cs.ucy.ac.cy/compulog/newpage112.htm
Model Checking For Abstract State Machines
http://www.jucs.org/jucs_3_5/model_checking
Model Checking Infinite State Spaces
http://www.dcs.ed.ac.uk/home/jav/Talks/bertinoro.pdf
A Direct Symbolic Approach To Model Checking Pushdown Systems
http://www.sinc.sunysb.edu/Stu/pyang/slides/pushdown.ppt
Combining Symbolic And Partial Order Methods For Model Checking 1-Safe Petra Nets
http://lib.hut.fi/Diss/2002/isbn9512258935/
Temporal Logic Model Checking of CSP: Tools And Techniques
http://eprints.ecs.soton.ac.uk/archive/00005930/
Bounded Model Checking For Timed Automata
http://www.csl.sri.com/papers/timedbtptr/
Refining Model Checking By Abstract Interpretation
http://www.di.ens.fr/~cousot/COUSOTpapers/ASE-99.shtml
Model Checking Java Programs Using Structural Heuristics
http://www.iei.pi.cnr.it/ISSTA2002/slides/07222002/sess2pr2.ppt
The Quest For Correct Systems: Model Checking Of Diagrams And Datatypes
http://wwwbroy.informatik.tu-muenchen.de/~philipps/pub/apsec99.pdf
SAT-Based Model Checking For Error Detection In Security Protocols
http://www.mrg.dist.unige.it/~armando/ai/satmc.pdf
Model Checking With Multi-Valued Temporal Logics
http://www.cs.toronto.edu/~chechik/pubs/ismvl01.pdf
Using Fixpoint Characterisations Of LTL For Bounded Model Checking
http://www.dcs.st-and.ac.uk/~apes/reports/apes-41-2002.pdf
Performance And Reliability Model Checking And Model Construction
http://wwwhome.cs.utwente.nl/~hermanns/powerpoint/charlottenburg/
Bounded LTL Model Checking With Stable Models
http://www.tcs.hut.fi/~ini/papers/HelNie-LPNMR2001.pdf
Using Model Checking To Validate AI Planner Domain Models
http://sel.gsfc.nasa.gov/website/sew/1998/topics/JPenix-sp.pdf
A Logic of Belief and a Model Checking Algorithm for Security Protocols
http://dit.unitn.it/~fausto/talks/mamc/MCSP.ppt
Symbolic Model Checking for Self-Stabilizing Algorithms
http://www.computer.org/tpds/td2001/l0081abs.htm
Symbolic Model Checking Of Dual Transition Petri Nets
http://eprints.ecs.soton.ac.uk/archive/00006516/
Using Model Checking To Generate Tests From Large Software Specification
http://www.isse.gmu.edu/~wding/thesis/function.html
An Approach To Compositional Model Checking
http://www.cs.unh.edu/~charpov/FMPPTA/2002/FMPP_02.PDF
Transformation Verification Simulation (TVS) Publications  
http://tvs.twi.tudelft.nl/publications.html
Partial Order Reduction Assisted Parallel Model-Checking
http://tvs.twi.tudelft.nl/publications.html
The Complexity of Model Checking in Modal Event Calculi with Quantifiers
http://www.ep.liu.se/ea/cis/1998/021/
Bounded Model Checking Using Satisfiability Solving
http://www.inf.ethz.ch/personal/biere/papers/ClarkeBiereRaimiZhu-FMSD2001.pdf
Model Checking Applications
http://www.chyanbre.demon.co.uk/exchange/exchange_check.htm
Verification Via Model Checking
http://www.cs.unc.edu/~stotts/COMP204/Mcheck/
Deductive Model Checking
http://www-step.stanford.edu/papers/fmsd99.html
Model Checking Java Programs
http://www.cs.umn.edu/crisys/fmsp/talks.htm
Model Checking In Industry
http://www.cerc.utexas.edu/~jaa/talks/ifip.7/index-19.html
Probabilistic Symbolic Model Checking
http://www.ece.cmu.edu/cssi/resbook/pdf/vasiliki2.pdf
Symbolic Model Checking Of Biological Systems
http://data.mpi-sb.mpg.de/internet/eccb2002.nsf/
Symbolic Model Checking In Coq
http://www.lsv.ens-cachan.fr/~verma/smccoq.php
Model Checking For CTL
http://www.iro.umontreal.ca/~cerny/IFT6222/4-modelCheck.991017.pdf
MCWEB - A Model-Checking Tool For Web Site Debugging
http://www10.org/cdrom/posters/1147.pdf
Model Checking The Composition Of Hypermedia Design Components
http://www.cas.ibm.com/archives/2000/proceed/cascon00/htm/english/abs/dong.htm
Using Model Checking to Analyze Network Vulnerabilities
http://www.cise.nsf.gov/watsh/02_06_05_%20Ammann_vgs.ppt
CIP Model Checking Project
http://www.tik.ee.ethz.ch/~moglestu/modelcheck/CIP_model_checking.pdf
Model Checking Concurrent Java Software Using The Bandera Tool Set
http://www.cse.ogi.edu/PacSoft/conf/jvw02/slides/OGI-Bandera-Overview.pdf
Unified Assertion-Based Functional Verification - Model Checking, Simulation And Debugging
http://www.athdl.com/pdf/datasheets/verifier_datasheet.pdf
Stable Model Checking Made easy
http://www.dbai.tuwien.ac.at/staff/koch/download/DBAI-TR-99-26.pdf
Software Metrics And Static Analysis  
http://www.cs.queensu.ca/Software-Engineering/archive/static.html
NWG1: Static Analysis
http://www.mpi-sb.mpg.de/units/nwg1/
Security And Safety Through Static Analysis
http://www.ercim.org/publication/Ercim_News/enw49/jensen.html
Static Analysis For Security And Safety (SASS)
http://www.imm.dtu.dk/~nielson/Security/SASS/SASS.html
Security Through Static Analysis
http://www-sop.inria.fr/lemme/verificard/2002/slides/hankin.pdf
Static Analysis Of Large Programs: Some Experiences
http://research.microsoft.com/users/Manuvir/Talks/pepm00.ppt
Static Analysis With LDRA Testbed
http://www.ldra.co.uk/pages/analysis-test-issues/static.htm
Improving Security Using Extensible Lightweight Static Analysis
http://www.cs.virginia.edu/~evans/pubs/ieeesoftware-abstract.html
Linear Static Analysis
http://www.cosmosm.com/static.htm
NISA II/ Linear Static Analysis
http://www.emrc.com/webpages/linear/linov.htm
Validation Of Critical Software By Static Analysis And abstract Testing
http://www.di.ens.fr/~cousot/projects/DAEDALUS/index.shtml
Static Analysis Tools  
http://www.testingfaqs.org/t-static.htm
Static Analysis For A Software Transformation Tool
http://www.cs.ucsd.edu/users/wgg/Abstracts/jdm.thesis.html
Java Static Analysis
http://www.haifa.il.ibm.com/projects/systems/ple/jsa/
Static Analysis For Dynamic XML
http://www.brics.dk/~amoeller/talks/PLANX.pdf
Intrusion Detection Via Static Analysis
http://www2.parc.com/csl/projects/quicksilver/SDS_papers/Infrastructure/ids-oakland01.pdf
Example Repository For Finite State Verification Tools
http://laser.cs.umass.edu/verification-examples/
Aubjex Static Analysis
http://industry.java.sun.com/solutions/products/by_product/0,2348,all-5494-5,00.html
Static Analysis of Upper and Lower Bounds on Dependences and Parallelism
http://www.cs.umd.edu/projects/omega/subsectionstar3_1_2.html
Static Analysis And Software Assurance
http://www.cs.berkeley.edu/~daw/talks/sas01.ppt
Structural Static Analysis
http://www.nmt.edu/~ansys/ansys-5.7.1/ansyshelp/Hlp_G_STR2.html
Applications Of Static Analysis To Concurrency Control And Recovery In Objectbase Systems
http://www.cs.umanitoba.ca/~pgraham/papers/fthesis.pdf
Improving Java Programming language Code Using Static Analysis
http://java.sun.com/javaone/javaone2001/pdfs/1012.pdf
Static Analysis Tables
http://ic.arc.nasa.gov/ic/projects/Executive/team/barney/fall93/subsection3.2.5.html
Detection By Static Analysis
http://csrc.nist.gov/publications/nistpubs/800-5/select/subsubsection3_3_1_1.html
A Gentle Introduction To Static Analysis And Logic Programming
http://www.cs.mu.oz.au/~schachte/lpanalysis.html
Applying Static Analysis Techniques For Inferring Termination Conditions Of Logic Programs
http://www.complang.tuwien.ac.at/ulrich/papers/PDF/sas01.pre.pdf
Type Inference And Static Analysis For Object-Oriented Software
http://www.cs.purdue.edu/homes/palsberg/typeflow.html
A Toolkit For Static Analysis Constraint Logic Programs
http://www.cs.bris.ac.uk/Tools/Reports/Abstracts/1997-saglam-phd.html
Programme To "Nonlocal Automated Comparative Static Analysis"
http://ideas.repec.org/c/cod/fortra/nasa.html
Abstract Compilation: A New Implementation Paradigm For Static analysis
http://www.cs.ukc.ac.uk/people/staff/cr3/bib/bookshelf/Static_Analysis.html
Static Analysis Applied To Java
http://www.nacse.org/HPjava/probst/probst.pdf
An Efficient Static Analysis Algorithm To Detect Redundant Memory Operations
http://hipersoft.cs.rice.edu/grads/publications/msp02.pdf
Static Analysis Of Object-Oriented Programs
http://www.ssw.uni-linz.ac.at/Research/Papers/Ste99b.html
Static Analysis For Guarded Code
http://www.ssw.uni-linz.ac.at/Research/Papers/Ste99b.html
Elimination Of Redundant Messages With A Two-Pass Static Analysis Algorithm
http://www.inrialpes.fr/bip/people/girault/Publications/EuromicroPDP01-1/
Static Analysis And Automatic Code Generation For Improved Fortran 90 and C++ Interoperability
http://www.fz-juelich.de/zam/docs/printable/ib/ib-01/ib-2001-10.pdf
Combining Static Analysis And Model Checking For Software Analysis
http://ase.arc.nasa.gov/papers/ASE01/mcsa.pdf
Applying Static Analysis To Large-Scale Industrial Programs
http://www.inf.ethz.ch/~artho/slides/ArthoBiere-ASWEC2001.pdf
Static Analysis For Object-Oriented languages
http://wwwhome.cs.utwente.nl/~rensink/presentations/bologna00.pdf
Static Analysis For Program Generation Templates
http://www.disi.unige.it/person/ReggioG/PROCEEDINGS/berzins.pdf
Static Analysis Analysis Of Models, Data Flow Analyses, Finite State Verification
http://www.ics.uci.edu/~djr/classes/ics224/lectures/08-StaticAnalysis.pdf
An Algebraic Approach To The Static Analysis Of Concurrent Software
http://www.liafa.jussieu.fr/~haberm/ADVANCE/meetings/oct2002/esparza-ADVANCE-oct2002.pdf
Towards Software Testability Based On Static analysis
http://www.cs.auc.dk/~normark/NWPER96/proceedings/paperE.html
Applying Static Analysis To Software Architectures
http://cis.poly.edu/gnaumovi/home/papers/applying-arch.pdf
Comparison Of Static Analysis Results Based On Different Models
http://www.gtstrudl.gatech.edu
An ASIS-Based Static Analysis Tool For High-Integrity Systems
http://info.acm.org/sigada/conf/sa98/papers/pritchett.pdf
A Static Analysis Method For A Classical Linear Logic Programming Language
http://www.ipsj.or.jp/members/Trans/Eng/03/2000/4104/article005.html
Static Analysis Tools
http://www.cs.odu.edu/~zeil/cs451/Lectures/03vandv/vandv/vandv_htsu3.html
Static Analysis And Validation Of Composite Behaviors In Composite Technology
http://www.cs.ucf.edu/csdept/faculty/lang/pubs/siw02.pdf
Metrowerks Software Analysis Tools And Debug Probes
http://www.metrowerks.com/MW/Develop/AMC/default.htm
Code Coverage Analysis
http://www.bullseye.com/webCoverage.html
Software Analysis And Formal Methods
http://www.adelard.co.uk/analysis/
A Survey Of Data-Flow Analysis Techniques
http://citeseer.nj.nec.com/context/114455/0
Data Flow Analysis For Reverse Engineering
http://www.cwi.nl/~leon/papers/masters/
Data Flow Analysis
http://www.doc.ic.ac.uk/~herbert/pa02/DataFlowAnalysis.pdf
Data Flow Analysis Frameworks Specification
http://www.imm.dtu.dk/courses/02242/framework.pdf
Data Flow Analysis For Verifying Correctness Properties Of Concurrent Programs
http://laser.cs.umass.edu/abstracts/dwyer-thesis.html
The Combining DAG: A Technique For Parallel Data Flow Analysis
http://www.computer.org/tpds/td1994/l0805abs.htm
Implementation Techniques For Efficient Data-Flow Analysis Of Large Programs
http://www.cs.ucsd.edu/Dienst/UI/2.0/Describe/ncstrl.ucsd_cse/CS2001-0665
Optimal Data Flow Analysis Via Observational Equivalence
http://www.lfcs.informatics.ed.ac.uk/reports/89/ECS-LFCS-89-82/
Dynamic Data Flow Analysis
http://www.informatik.uni-stuttgart.de/
Data Flow Analysis Of Parallel Programs
http://www.ubka.uni-karlsruhe.de/cgi-bin/psview?document=ira/1995/19
DAFIA II - Further Development Data Flow Analysis For Integrated Assessments
http://reports.eea.eu.int/technical_report_2002_72/en
An Incremental Flow- and Context-sensitive Pointer Aliasing Analysis
http://www.prolangs.rutgers.edu/refs/incr.html
Hierarchical Data Flow Analysis for OO Programs
http://www.cs.umn.edu
Data Flow Analysis For A Goto-Less Program
http://www.ipsj.or.jp/members/Magazine/Eng/1801/article005.html
Error Detection By Data Flow Analysis Restricted To Executable Paths
http://www.research.ibm.com/da/publications/beam_data_flow.pdf
Efficient Composite Data Flow Analysis Applied To Concurrent Programs
http://cis.poly.edu/gnaumovi/home/papers/tuple.pdf
An Algorithm Of Programming Data Flow Analysis Based On Data Flow Expression
http://www.bupt.edu.cn/quick/link/journal/www/Homepage/content/98114.doc
Data Flow Analysis & DFDs
http://roger.babson.edu/osborn/doit/slides/DFD%20intro%2097.PPT
Data-Flow Analysis for Constraint Logic-Based Languages
http://www.cs.unipr.it/~bagnara/Papers/Abstracts/PhDthesis
Logic Programming, Data-Flow Analysis and Equality Theories
http://www.cs.bham.ac.uk/~exr/dag01/hill.html
Deferred Data Flow Analysis
http://www.cs.ucsb.edu/~acha/publications/pldi98-submitted.html
Project: Data Flow Analysis Framework For Java: Summary
http://sourceforge.net/projects/jdfa/
Data Flow Analysis Analyze Program To Find Out Facts
http://www.cs.pitt.edu/~soffa/tutorial/tsld002.htm
Data Flow Analysis Of Communicating Finite State Machines
http://www4.ncsu.edu/eos/users/p/purush/www/Papers/toplas.html
Data-Flow Analysis Of Program Fragments
http://www.cis.ohio-state.edu/~rountev/pubs/fse99.pdf
Eliminating Stale Data References Through Array Data Flow Analysis
http://ipdps.eece.unm.edu/1996/PAPERS/S01/LCHOI/LCHOI.PDF
Concurrent Data-Flow Analysis
http://www.cs.cornell.edu/Info/Courses/Spring-99/CS612/projects/concurrent-ssa.html
Applicability of Algebraic Transductions to Data-Flow Analysis
http://www.prism.uvsq.fr/~jfcollar/transd.html
On The Practical Static Checker Of Semantic Run-Time Errors
http://www.waspsoft.com/osar.pdf
Data Flow Analysis Of Java Programs In The Presence Of Exceptions
http://www.waspsoft.com/osa_exc.pdf
Data Flow Analysis, Part I
http://www.cs.kuleuven.ac.be/~remko/PARC/dataflow1.pdf
Data Flow Analysis For Checking Properties Of Concurrent Java Programs
http://www.cs.umass.edu/Dienst/UI/2.0/Describe/ncstrl.umassa_cs%2FUM-CS-1998-022
Data Flow Analysis Of Secure Information-Flow
http://pllab.hyu.ac.kr/~doh/research/paper/2002DohShinIPL.pdf
Interprocedural Data Flow Analysis
http://penguin.wpi.edu:4546/course/CS544/PLT9.8.html
Verification & Validation - Data-Flow Approaches
http://www.ugrad.cs.ubc.ca/~cs410/lectures/resources/cs410-VVAndData-18-2up.pdf
C Checker Reference Manual
http://www.cse.unsw.edu.au/~patrykz/TenDRA/tdfc/tdfc8.html
Global Data Flow Analysis
http://www.pvv.ntnu.no/~eddie/report/node112.html
Data Flow Analysis Of A Logic-Based Specification
http://kel3.eecs.uic.edu/hpem/node4.html
Data Flow Analysis Of Program Nets
http://www.informatik.uni-hamburg.de/TGI/pnbib/o/onaga_k7.html
Data Flow Analysis (Course Slides)
http://www.cs.wright.edu/people/faculty/tkprasad/courses/cs781/L32DFA.pdf
http://www.cs.hmc.edu/courses/2001/spring/cs132/slides/132-010228.pdf
DFA&OPT-METAFrame;: A Tool Kit for Program Analysis and Optimization
http://sunshine.cs.uni-dortmund.de/projects/METAFrame/dfa/
DSA: Data Flow And SQL Analysis
http://eanalysis.hlstechnologies.com/websample/test004.htm
Improving Data Flow Analysis With Path Profiles
http://www.cs.colorado.edu/~diwan/7135/p72-ammons.pdf
A Generic Architecture For Data Flow Analysis To Support Reverse Engineering
http://www1.bcs.org.uk/DocsRepository/02200/2292/moonen.htm
Preliminary Analysis Of The Security Of Data Flow Code Transformations
http://www.cloakware.com
Data Flow And Data Dependence Analysis
http://www.irisa.fr/PCIR/280900/SuperscalarOpt/tsld010.htm
Incremental Data Flow Analysis
http://salmosa.kaist.ac.kr/LAB/RESEARCH/SEMINAR/95group/GROUPB/95-10-25.html
FLAVERS: A Finite State Verification Technique For Software Systems
http://www.research.ibm.com/journal/sj/411/cobleigh.html
Bandera - Java Model Checker
http://www.cis.ksu.edu/santos/bandera/
Software Model Construction For Finite-State Verification
http://www.cis.ksu.edu/~dwyer/smc4fsv/
Comparing Finite State Verification Techniques For Concurrent Software
http://citeseer.nj.nec.com/264506.html
Tool-Supported Program Abstraction For Finite-State Verification
http://ase.arc.nasa.gov/visser/bandera-abs.pdf
Automatic Verification Methods For Finite-State Systems: International Workshop
http://isbn.nu/0387521488/price/1.html
Can Finite-State System Verification Methods Help Cryptographic Protocol Analysis ?
http://www.tml.hut.fi/Opinnot/Tik-110.501/1998/papers/13finitestate/finitestate.htm
Toward Synergy Of Finite State Verification And Testing
http://cis.poly.edu/tr/tr-cis-2000-04.htm
Property Specification Patterns For Finite State Verification
http://citeseer.nj.nec.com/23829.html
Testing Finite-State Machines: State Identification And Verification
http://bright.computer.org/tc/tc1994/t0306abs.htm
Patterns In Property Specifications For Finite-State Verification
http://citeseer.nj.nec.com/90381.html
Synthesis And Verification Of Finite-State Machines
http://www.ee.pdx.edu/~alanmi/510FM1/510FM1Overview.htm
Automatic Verification Of Finite-State Concurrent Systems
http://www.informatik.uni-hamburg.de/TGI/pnbib/c/clarke_e_m1.html
Finite State Machine Verification using Non-Ideal Multiple Processor Machines
http://www.ece.uc.edu/~ddel/projects/mss/iee92/
Automatic Verification Methods For Finite State Systems
http://www.informatik.uni-trier.de/~ley/db/conf/avmfss/
Finite-State Morphology and Formal Verification
http://coleweb.dc.fi.udc.es/cole/library/abstracts/VilGraAlv97a.html
Unbounded Verification Results by Finite-State Compositional Techniques
http://ads.computer.org/proceedings/csd/8350/83500075abs.htm
Example Repository Of Finite-State Verification Tools  
http://laser.cs.umass.edu/verification-examples/
Finite-State Machine Software, Products And Projects  
http://www.csd.uwo.ca/research/grail/links.html
Finite-State Analysis Of SSL 3.0
http://sprout.stanford.edu/uli/secur/usenix/usenix.html
 
 

 友情链接: ACM || CiteSeer || CMU SEI || Construx || Cutter || IEEE-CS || itmWEB
上海市信息委 || 上海市经委 || 上海市软件行业协会 || 上海构件库
TechTarget || 珞珈远望 || 浦华瑞信 || 北京SPIN || CCW聚焦华东 || 软件出口网 更多 
最近更新日 2005.06.28
建议使用IE5.0以上版本(800*600以上) 小字体 浏览
© 2000-2005 软件出口和信息技术传播中心 制作维护: ASTI Shanghai 沪ICP备05025271号
保留所有权益