Sciweavers

219 search results - page 1 / 44

» Towards Hilbertian Formal Methods

4

ACSD
2007
IEEE

97views Hardware» more ACSD 2007»

Towards Hilbertian Formal Methods

13 years 12 months ago

Towards Hilbertian Formal Methods

Download personalpages.manchester.ac.uk

Marius C. Bujorianu, Manuela L. Bujorianu

claim paper

Read More »

14

ISSE
2010

118views Security Privacy» more ISSE 2010»

Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method

13 years 4 months ago

Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method

Download www.inf.ufes.br

Bernardo F. B. Braga, João Paulo A. Almeida...

claim paper

Read More »

22

FTRTFT
1998
Springer

108views Formal Methods» more FTRTFT 1998»

Towards a Formal Semantics of Verilog Using Duration Calculus

13 years 9 months ago

Towards a Formal Semantics of Verilog Using Duration Calculus

Download folk.uio.no

Gerardo Schneider, Qiwen Xu

claim paper

Read More »

10

FM
1999
Springer

122views Formal Methods» more FM 1999»

Towards a Compositional Approach to the Design and Verification of Distributed Systems

13 years 10 months ago

Towards a Compositional Approach to the Design and Verification of Distributed Systems

Download www.cs.unh.edu

Michel Charpentier, K. Mani Chandy

claim paper

Read More »

19

FM
1998
Springer

155views Formal Methods» more FM 1998»

Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture

13 years 9 months ago

Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture

Download www.eecs.umich.edu

Giuseppe Del Castillo

claim paper

Read More »

« Prev « First page 1 / 44 Last » Next »