-
R. Banach; M. Bozzano,
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits,
in «FORMAL ASPECTS OF COMPUTING»,
vol. 25,
n. 4,
2013
, pp. 573 -
607
-
R. Banach; M. Bozzano,
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits,
in «FORMAL ASPECTS OF COMPUTING»,
vol. 25,
n. 4,
2013
, pp. 609 -
657
-
Daniel Kroening; Natasha Sharygina; Stefano Tonetta; Aliaksei Tsitovich; Christoph M. Wintersteiger,
Loop Summarization using State and Transition Invariants,
in «FORMAL METHODS IN SYSTEM DESIGN»,
vol. 42,
n. 3,
2013
, pp. 221 -
261
-
Alessandro Cimatti; Sergio Mover; Stefano Tonetta,
SMT-based scenario verification for hybrid systems,
in «FORMAL METHODS IN SYSTEM DESIGN»,
vol. 42,
n. 1,
2013
, pp. 46 -
66
-
Alessandro Cimatti;Iman Narasamdya;Marco Roveri,
Software Model Checking SystemC,
in «IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS»,
vol. 32,
2013
, pp. 774 -
787
-
Martin Brain;Vijay D’Silva;Alberto Griggio;Leopold Haller;Daniel Kroening,
Deciding floating-point logic with abstract conflict driven clause learning,
in «FORMAL METHODS IN SYSTEM DESIGN»,
2013
-
Marco Bozzano; Adolfo Villafiorita,
in Encyclopedia of Software Engineering,
New York,
CRC Press, Taylor & Francis Group,
2013
-
Marco Bozzano; Alessandro Cimatti; Cristian Mattarei,
Automated Analysis of Reliability Architectures,
18th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2013, Singapore, July 17-19, 2013,
IEEE Computer Society,
2013
, pp. 198-
207
, (International Conference on Engineering of Complex Computer Systems,
Singapore,
07/17/2013 07/19/2013)
-
Alessandro Cimatti; Andrea Micheli; Marco Roveri,
AAAI,
David Leake,
2013
, pp. 195-
201
, (Twenty-Seventh AAAI Conference on Artificial Intelligence,
Bellevue, Washington, USA,
14/07/2013 - 18/07/2013)
-
Martin Brain;Vijay D’Silva;Leopold Haller;Alberto Griggio;Daniel Kroening,
An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation,
in «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE»
Lecture Notes in Computer ScienceVerification, Model Checking, and Abstract Interpretation,
vol.7737,
2013
, pp. 455-
475