default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Methods in System Design, Volume 45
Volume 45, Number 1, August 2014
- Simone Fulvio Rollini, Roberto Bruttomesso, Natasha Sharygina
, Aliaksei Tsitovich:
Resolution proof transformation for compression and interpolation. 1-41 - Dingbao Xie, Lei Bu, Jianhua Zhao, Xuandong Li:
SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata. 42-62 - Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina:
An extension of lazy abstraction with interpolation for programs with arrays. 63-109
Volume 45, Number 2, October 2014
- Eugene Goldberg, Panagiotis Manolios:
Quantifier elimination by dependency sequents. 111-143 - Jiazhao Xu, Mark Williams, Hari Mony, Jason Baumgartner:
Scalable reachability analysis via automated dynamic netlist-based hint generation. 144-164 - Alessandro Cimatti, Sergio Mover, Stefano Tonetta:
Quantifier-free encoding of invariants for hybrid systems. 165-188 - Alexey Lvov, Luis Alfonso Lastras-Montaño, Barry M. Trager, Viresh Paruthi, Robert Shadowen, Ali El-Zein:
Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry. 189-212 - Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening:
Deciding floating-point logic with abstract conflict driven clause learning. 213-245 - Chao Yan, Mark R. Greenstreet, Suwen Yang:
Verifying global start-up for a Möbius ring-oscillator. 246-272 - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman:
Budget-bounded model-checking pushdown systems. 273-301
Volume 45, Number 3, December 2014
- Laurent Fribourg, Ulrich Kühne, Romain Soulat:
Finite controlled invariants for sampled switched systems. 303-329 - Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder:
On regions and zones for event-clock automata. 330-380 - Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Nguena-Timo:
Runtime enforcement of timed properties revisited. 381-422
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 01:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
