TACAS 2007 - PDF Preprint Papers

TACAS 2007 Int. Workshop/Conference on Tools and Algorithms for the Construction and Analysis of Systems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed TACAS-2007 Paper

click to vote

TACAS
2007
Springer

165views Algorithms» more TACAS 2007»

Unfolding Concurrent Well-Structured Transition Systems

13 years 10 months ago

Download www.labri.fr

Abstract. Our main objective is to combine partial-order methods with veriﬁcation techniques for inﬁnite-state systems in order to obtain efﬁcient veriﬁcation algorithms fo...

Frédéric Herbreteau, Grégoire...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	165	Unfolding Concurrent Well-Structured Transition Systems	claim
2	165	Multi-objective Model Checking of Markov Decision Processes	claim
3	158	Automatic Analysis of the Security of XOR-Based Key Management Schemes	claim
4	144	Detecting Races in Ensembles of Message Sequence Charts	claim
5	141	JPF-SE: A Symbolic Execution Extension to Java PathFinder	claim
6	136	Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking	claim
7	131	From Time Petri Nets to Timed Automata: An Untimed Approach	claim
8	126	Kodkod: A Relational Model Finder	claim
9	125	Type-Dependence Analysis and Program Transformation for Symbolic Execution	claim
10	124	Deciding Bit-Vector Arithmetic with Abstraction	claim
11	118	Checking Pedigree Consistency with PCS	claim
12	117	Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning	claim
13	116	Model Checking on Trees with Path Equivalences	claim
14	110	Counterexamples in Probabilistic Model Checking	claim
15	108	State of the Union: Type Inference Via Craig Interpolation	claim
16	105	Hoare Logic for Realistically Modelled Machine Code	claim
17	104	Optimized L*-Based Assume-Guarantee Reasoning	claim
18	103	A Reachability Predicate for Analyzing Low-Level Software	claim
19	99	"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models	claim
20	99	Assume-Guarantee Synthesis	claim
21	99	Improved Algorithms for the Automata-Based Approach to Model-Checking	claim
22	98	Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking	claim
23	92	Model Checking Liveness Properties of Genetic Regulatory Networks	claim
24	91	Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs,	claim
25	89	THERE AND BACK AGAIN: Lessons Learned on the Way to the Market	claim
26	80	Adaptor Synthesis for Real-Time Components	claim
27	74	Shape Analysis by Graph Decomposition	claim
28	67	A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes	claim
29	67	Searching for Shapes in Cryptographic Protocols	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers