Sciweavers

8828 search results - page 151 / 1766

» Formal methods in practice

109

FMCO
2005
Springer

88views Formal Methods» more FMCO 2005»

Modular Specification of Encapsulated Object-Oriented Components

15 years 10 months ago

Modular Specification of Encapsulated Object-Oriented Components

Download fmco.liacs.nl

Arnd Poetzsch-Heffter, Jan Schäfer

claim paper

Read More »

127

CAV
2004
Springer

86views Hardware» more CAV 2004»

MCK: Model Checking the Logic of Knowledge

15 years 10 months ago

MCK: Model Checking the Logic of Knowledge

Download www.cse.unsw.edu.au

Peter Gammie, Ron van der Meyden

claim paper

Read More »

109

CAV
2004
Springer

97views Hardware» more CAV 2004»

Efficient Modeling of Embedded Memories in Bounded Model Checking

15 years 10 months ago

Efficient Modeling of Embedded Memories in Bounded Model Checking

Download www.nec-labs.com

Malay K. Ganai, Aarti Gupta, Pranav Ashar

claim paper

Read More »

126

CAV
2004
Springer

89views Hardware» more CAV 2004»

Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors

15 years 10 months ago

Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors

Download www.cs.cmu.edu

Amit Goel, Randal E. Bryant

claim paper

Read More »

94

CAV
2004
Springer

100views Hardware» more CAV 2004»

An Experimental Evaluation of Ground Decision Procedures

15 years 10 months ago

An Experimental Evaluation of Ground Decision Procedures

Download www.csl.sri.com

Leonardo Mendonça de Moura, Harald Rue&szli...

claim paper

Read More »

« Prev « First page 151 / 1766 Last » Next »