1782 search results - page 75 / 357 » Tool Support for Proof Engineering |
140
click to vote
SDE
1991
15 years 9 months ago
1991
There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...
126
click to vote
ICSE
2009
IEEE-ACM
16 years 9 days ago
2009
IEEE-ACM
Tools support is crucial for the acceptance of a new programming language. However, providing such tool support is a huge investment that can usually not be provided for a researc...
166
click to vote
STTT
2010
15 years 3 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
182
click to vote
TPHOL
2008
IEEE
15 years 12 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
163
click to vote
ECLIPSE
2007
ACM
15 years 7 months ago
2007
ACM
Programmers often copy and paste code so that they can reuse the existing code to complete a similar task. Many times, modifications to the newly pasted code include renaming all ...