Data constraints for validation of real-time software

Authors:
Shin Nakajima
Affiliations:
National Institute of Informatics, Tokyo, Japan
Venue:
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Year:
2008

Citing 15
Cited 0

A theory of timed automata

Theoretical Computer Science
Formalizing architectural connection

ICSE '94 Proceedings of the 16th international conference on Software engineering
Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results

ACM Transactions on Programming Languages and Systems (TOPLAS)
Model checking

Model checking
Automatically validating temporal safety properties of interfaces

SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Behavioural analysis of the enterprise JavaBeans component architecture

SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Automatic abstraction for model checking software systems with interrelated numeric constraints

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Algebraic Semantics of Imperative Programs

Algebraic Semantics of Imperative Programs
Automatic verification of real-time communicating systems by constraint-solving

Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints

CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Counterexample-Guided Abstraction Refinement

CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Bogor: an extensible and highly-modular software model checking framework

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Semantics and pragmatics of Real-Time Maude

Higher-Order and Symbolic Computation
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic

All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
A reasoning method for timed CSP based on constraint solving

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Distributed applications are rapidly converging towards the adoption of a computing paradigm based on service-oriented architectures, according to which an application can be seen as a composite web service that is built by assembling a set of existing ...