837 search results - page 12 / 168 » Proof Development with OMEGA |
ENTCS
2007
13 years 9 months ago
2007
This article describes an architecture for creating responsive web interfaces for proof assistants. The architecture combines current web development technologies with the functio...
FLAIRS
2000
13 years 11 months ago
2000
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
CASCON
2010
13 years 7 months ago
2010
We describe research conducted to improve the design and management of notifications in the Jazz collaborative development environment. Scenario-based design was used in conjuncti...
CADE
1997
Springer
14 years 2 months ago
1997
Springer
We present a matrix characterization of logical validity in the multiplicative fragment of linear logic. On this basis we develop a matrix-based proof search procedure for this fra...
ACISP
2004
Springer
14 years 3 months ago
2004
Springer
The Canetti-Krawczyk (CK) model is useful for building reusable components that lead to rapid development of secure protocols, especially for engineers working outside of the secur...