CADE 2008 - PDF Preprint Papers

CADE 2008 Automated Deduction

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CADE-2008 Paper

click to vote

CADE
2008
Springer

190views Logical Reasoning» more CADE 2008»

Exploring Model-Based Development for the Verification of Real-Time Java Code

14 years 4 months ago

Download sunsite.informatik.rwth-aachen.de

Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...

Niusha Hakimipour, Paul A. Strooper, Roger Duke

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	190	Exploring Model-Based Development for the Verification of Real-Time Java Code	claim
2	188	LogAnswer - A Deduction-Based Question Answering System (System Description)	claim
3	186	Automated Induction with Constrained Tree Automata	claim
4	185	Combining Theorem Proving with Natural Language Processing	claim
5	173	Automata-Based Axiom Pinpointing	claim
6	169	Celf - A Logical Framework for Deductive and Concurrent Systems (System Description)	claim
7	168	The Complexity of Conjunctive Query Answering in Expressive Description Logics	claim
8	165	MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance	claim
9	164	Focusing in Linear Meta-logic	claim
10	159	The Logical Difference Problem for Description Logic Terminologies	claim
11	159	Aligator: A Mathematica Package for Invariant Generation (System Description)	claim
12	157	Bitfields and Tagged Unions in C: Verification through Automatic Generation	claim
13	149	Towards Fully Automated Axiom Extraction for Finite-Valued Logics	claim
14	148	Towards SMT Model Checking of Array-Based Systems	claim
15	145	THF0 - The Core of the TPTP Language for Higher-Order Logic	claim
16	143	Automated Complexity Analysis Based on the Dependency Pair Method	claim
17	142	Automated Implicit Computational Complexity Analysis (System Description)	claim
18	141	Model Checking for Stability Analysis in Rely-Guarantee Proofs	claim
19	139	Engineering DPLL(T) + Saturation	claim
20	138	Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse	claim
21	137	Compositional Proofs with Symbolic Execution	claim
22	137	Canonical Inference for Implicational Systems	claim
23	133	On Automating the Calculus of Relations	claim
24	131	Linear Quantifier Elimination	claim
25	130	Proof Systems for Effectively Propositional Logic	claim
26	128	Challenges in the Automated Verification of Security Protocols	claim
27	127	Modularity of Confluence	claim
28	127	Collaborative Programming: Applications of Logic and Automated Reasoning	claim
29	124	Precise Dynamic Verification of Confidentiality	claim
30	122	Integration of the TPTPWorld into SigmaKEE	claim
31	122	Canonicity!	claim
32	120	Certifying a Tree Automata Completion Checker	claim
33	118	Deciding Effectively Propositional Logic Using DPLL and Substitution Sets	claim
34	117	Bit Inference	claim
35	116	Proving Bounds on Real-Valued Functions with Computations	claim
36	116	Certificate Translation	claim
37	115	Evaluation of Systems for Higher-order Logic (ESHOL)	claim
38	113	MTT: The Maude Termination Tool (System Description)	claim
39	111	Presenting TSTP Proofs with Inference Web Tools	claim
40	108	Title, Preface, Table of Contents	claim
41	105	Model Stack for the Pervasive Verification of a Microkernel-based Operating System	claim
42	104	Individual Reuse in Description Logic Reasoning	claim
43	104	A Small Framework for Proof Checking	claim
44	102	Proving Group Protocols Secure Against Eavesdroppers	claim
45	102	Specification Predicates with Explicit Dependency Information	claim
46	100	randoCoP: Randomizing the Proof Search Order in the Connection Calculus	claim
47	98	Quantitative Separation Logic and Programs with Lists	claim
48	93	Multi-completion with Termination Tools (System Description)	claim
49	92	The Annual SUMO Reasoning Prizes at CASC	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers