Add to ORKGNowadays in ASML more and more software components are created using formal methods. Although these components can be verified formally against certain properties, their validation still has to be done to ensure that the requirements are met. Validation via testing requires effort and increases lead-time in the software development process. This report describes an investigation on the possibilities of testing formal components. The use of protocol simulators is successfully proposed as a solution direction for the validation of such components
The use of analysis techniques for improving quality of software for industrial controllers is widel...
Achieving consistency between a specification and its implementation is an important part of softwar...
Computer science researchers in the programming languages and formal verification communities have p...
Nowadays in ASML more and more software components are created using formal methods. Although these ...
This paper describes a protocol development environment aimed at simplifying the development and tes...
When developing a system that partakes in a communication protocol, testing whether the implementati...
It is not surprising that students are unconvinced about the benefits of formal methods if we do not...
ASML is a company that designs, develops and produces photolithography machines, called wafer scanne...
Testing is the dominant technique for quality assurance of software systems. It typically consumes c...
The traditional use of formal methods has been for the verification of algorithms or protocols. Give...
Software components are common in the open source community. These components can be specified in mo...
AsmL is a specification system for software modeling, test generation, test validation, and implemen...
A Domain Specific Language (DSL) focuses on the essential concepts in a certain problem domain, thus...
The idea of software testing by software itself drives the attempts of creation of model based testi...
Formal methods have a great potential of application as powerful specification and early debugging m...
The use of analysis techniques for improving quality of software for industrial controllers is widel...
Achieving consistency between a specification and its implementation is an important part of softwar...
Computer science researchers in the programming languages and formal verification communities have p...
Nowadays in ASML more and more software components are created using formal methods. Although these ...
This paper describes a protocol development environment aimed at simplifying the development and tes...
When developing a system that partakes in a communication protocol, testing whether the implementati...
It is not surprising that students are unconvinced about the benefits of formal methods if we do not...
ASML is a company that designs, develops and produces photolithography machines, called wafer scanne...
Testing is the dominant technique for quality assurance of software systems. It typically consumes c...
The traditional use of formal methods has been for the verification of algorithms or protocols. Give...
Software components are common in the open source community. These components can be specified in mo...
AsmL is a specification system for software modeling, test generation, test validation, and implemen...
A Domain Specific Language (DSL) focuses on the essential concepts in a certain problem domain, thus...
The idea of software testing by software itself drives the attempts of creation of model based testi...
Formal methods have a great potential of application as powerful specification and early debugging m...
The use of analysis techniques for improving quality of software for industrial controllers is widel...
Achieving consistency between a specification and its implementation is an important part of softwar...
Computer science researchers in the programming languages and formal verification communities have p...