TACAS 2010 - PDF Preprint Papers

TACAS 2010 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-2010 Paper

click to vote

TACAS
2010
Springer

342views Algorithms» more TACAS 2010»

SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata

14 years 7 months ago

Download www.auresoft.com

We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...

Janusz Malinowski, Peter Niebert

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	342	SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata	claim
2	316	JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution	claim
3	255	Satisfiability Modulo the Theory of Costs: Foundations and Applications	claim
4	251	Approximating the Pareto Front of Multi-criteria Optimization Problems	claim
5	245	Stranger: An Automata-Based String Analysis Tool for PHP	claim
6	241	Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions	claim
7	225	Automated Termination Analysis for Programs with Second-Order Recursion	claim
8	221	Trace-Based Symbolic Analysis for Atomicity Violations	claim
9	220	The OpenSMT Solver	claim
10	212	Assume-Guarantee Verification for Probabilistic Systems	claim
11	210	Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors	claim
12	191	Blocked Clause Elimination	claim
13	181	Boom: Taking Boolean Program Model Checking One Step Further	claim
14	178	An Alternative to SAT-Based Approaches for Bit-Vectors	claim
15	170	SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems	claim
16	169	On Weak Modal Compatibility, Refinement, and the MIO Workbench	claim
17	167	Antichain Algorithms for Finite Automata	claim
18	162	Computing the Leakage of Information-Hiding Systems	claim
19	160	Optimal Tableau Algorithms for Coalgebraic Logics	claim
20	160	Efficient Detection of Errors in Java Components Using Random Environment and Restarts	claim
21	156	Preemption Sealing for Efficient Concurrency Testing	claim
22	153	Simplifying Linearizability Proofs with Reduction and Abstraction	claim
23	151	When Simulation Meets Antichains	claim
24	151	A Polymorphic Intermediate Verification Language: Design and Logical Encoding	claim
25	146	Ranking Function Synthesis for Bit-Vector Relations	claim
26	145	Rational Synthesis	claim
27	142	Tracking Heaps That Hop with Heap-Hop	claim
28	137	Statistical Measurement of Information Leakage	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers