Automated Methods for Verification of Concurrent Software Systems
Automated Methods for Verification of Concurrent Software Systems
批准号:
9988884
负责人:
Aravinda Sistla
金额:
$20.01万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2000
资助国家:
美国
项目状态:
已结题
起止时间:
2000-08-15 至 2004-07-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
CCR 9988884 Title: Automated Methods in the Analysis and Verification of Concurrent Systems PI: A. Prasad SistlaAbstract: The project investigates various methods, based on temporal logic model-checking, for automatedanalysis of concurrent and distributed systems includingsecurity verification of Internet based applications suchas e-commerce.Hybrid techniques, employing symmetry and partial order basedmethods, will be investigated for containingthe state explosion and for checking both safety and liveness properties.The project also considers work on verification of systems composed of arbitrary number of processes. Verification of such systemswith different network topologies will be explored. As part of this work, induction based techniques as well asalgorithmic techniques will be developed. The security verification willconsider different security properties, intruder and protocol models.The project emphasizes both basic research as well as experimental work in the form of implementationand application to real-world problems.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Medium: Collaborative Research: Verification of Differential Privacy Mechanisms
-
批准号:1901069
-
项目类别:Standard Grant
-
资助金额:$80.0万
-
财政年份:2019
-
负责人:Aravinda Sistla
-
依托单位:
SHF: Small: Static and Dynamic Techniques for Correctness of Probabilistic Systems
-
批准号:1319754
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2013
-
负责人:Aravinda Sistla
-
依托单位:
CPS: Small: Monitoring Techniques for Safety Critical Cyber-Physical Systems
-
批准号:1035914
-
项目类别:Continuing Grant
-
资助金额:$36.0万
-
财政年份:2010
-
负责人:Aravinda Sistla
-
依托单位:
Runtime and Static Verification of Concurrent Systems
-
批准号:0916438
-
项目类别:Standard Grant
-
资助金额:$48.55万
-
财政年份:2009
-
负责人:Aravinda Sistla
-
依托单位:
Collaborative Research: CSR--EHS: Property-Based Development of Reactive and Embedded Systems
-
批准号:0720525
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Aravinda Sistla
-
依托单位:
SGER: Monitoring Off-the-shelf Components
-
批准号:0742686
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Aravinda Sistla
-
依托单位:
ITR: COLLABORATIVE RESEARCH: Towards a Seamless Process for the Development of Embedded Systems
-
批准号:0205365
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2002
-
负责人:Aravinda Sistla
-
依托单位:
Triggers and Queries in Distributed Software Systems for Moving Objects
-
批准号:9803974
-
项目类别:Standard Grant
-
资助金额:$26.0万
-
财政年份:1998
-
负责人:Aravinda Sistla
-
依托单位:
Similarity Based Retrieval From Video and Pictorial Databases
-
批准号:9711925
-
项目类别:Continuing Grant
-
资助金额:$34.22万
-
财政年份:1997
-
负责人:Aravinda Sistla
-
依托单位:
Formal Methods in Concurrent and Distributed Systems
-
批准号:9623229
-
项目类别:Standard Grant
-
资助金额:$10.71万
-
财政年份:1996
-
负责人:Aravinda Sistla
-
依托单位:
Formal Methods in Concurrent and Distributed Systems
-
批准号:9212183
-
项目类别:Standard Grant
-
资助金额:$15.49万
-
财政年份:1992
-
负责人:Aravinda Sistla
-
依托单位:
Research Initiation: Design and Verification of DistributedSystems
-
批准号:8504794
-
项目类别:Standard Grant
-
资助金额:$6.0万
-
财政年份:1985
-
负责人:Aravinda Sistla
-
依托单位:
国内基金
海外基金
Computational Methods for Analyzing Toponome Data
-
批准号:60601030
-
项目类别:青年科学基金项目
-
资助金额:17.0万元
-
批准年份:2006
-
负责人:Axel Mosig
-
依托单位: