4036 search results - page 152 / 808 » Formal Methods |
162
click to vote
ENTCS
2007
15 years 6 months ago
2007
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
175
Voted
FMSD
2007
15 years 6 months ago
2007
This paper addresses the graphical representation of static aspects of B specifications, using UML class diagrams. These diagrams can help understand the specification for stakeho...
141
click to vote
ICCCI
2009
Springer
16 years 21 days ago
2009
Springer
The conceptual world of AI is inhabited by a number of epistemic puzzles whose role is to provide a test harness environment for various methods and algorithms. In our paper we foc...
161
click to vote
ISSTA
2009
ACM
16 years 20 days ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
147
click to vote
MKM
2007
Springer
16 years 8 days ago
2007
Springer
Formal concept analysis (FCA) comprises a set of powerful algorithms which can be used for data analysis and manipulation, and a set of visualisation tools which enable the discove...